- Homotopy Type Theory
- Stable Homotopy Theory
- K-theory of Operator Algebras
- Algebraic K-theory
- Stable Homotopy Theory
- Misc Notes
- Principal infinity bundles and Nonabelian Gerbes
- Nonabelian Cech Cohomology
- Stackification of 2-Prestacks over Lie Groupoids