nLab Chris Kapulkin

Selected writings

On the categorical semantics of homotopy type theory in simplicial sets/ ionfty \ionfty -groupoids:

On the Joyal-type model structure for cubical quasi-categories on cubical sets with connections:

On the Hurewicz theorem for cubical homology:

On a calculus of fractions generalized from categories to quasi-categories (“(,1)(\infty,1)-calculus of fractions”, for localization of ( , 1 ) (\infty,1) -categories):

exposition:

On the model structure on compactly generated topological spaces and on Delta-generated topological spaces, and on a model category of locales which makes the reflection of sober topological spaces a Quillen adjunction to the sober-restriction of the classical model structure on topological spaces:

category: people

Last revised on June 13, 2024 at 11:29:20. See the history of this page for a list of all contributions to it.