Homotopy Type Theory
-1 OR 2+10-10-1=0+0+0+1
Redirected from "algebraic K-theory of a stable (∞,1)-category".