On the categorical semantics of homotopy type theory in simplicial sets/-groupoids:
On the Joyal-type model structure for cubical quasi-categories on cubical sets with connections:
On a calculus of fractions generalized from categories to quasi-categories (“-calculus of fractions”, for localization of -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:
Last revised on November 18, 2023 at 14:05:37. See the history of this page for a list of all contributions to it.