On the categorical semantics of homotopy type theory in simplicial sets/-groupoids:
On excluded middle in simplicial sets and the compatibility of excluded middle with the univalence axiom:
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 (“-calculus of fractions”, for localization of -categories):
exposition:
Classifying the closed symmetric monoidal-structures on the category of reflexive graphs:
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 March 21, 2025 at 23:29:44. See the history of this page for a list of all contributions to it.