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

- Chris Kapulkin, Peter LeFanu Lumsdaine,
*The Simplicial Model of Univalent Foundations (after Voevodsky)*, Journal of the European Mathematical Society**23**(2021) 2071–2126 $[$arXiv:1211.2851, doi:10.4171/jems/1050$]$

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

- Brandon Doherty, Chris Kapulkin, Zachery Lindsey, Christian Sattler,
*Cubical models of (∞,1)-categories*, Memoirs of the AMS (accepted 2022) [arXiv:2005.04853]

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

- Daniel Carranza, Chris Kapulkin, Zachery Lindsey,
*Calculus of Fractions for Quasicategories*[arXiv:2306.02218]

exposition:

- Chris Kapulkin,
*Calculus of Fractions for Quasicategories (Part I)*, talk at CQTS (18 Oct 2023) [video:YT]

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:

- Sterling Ebel, Chris Kapulkin,
*Synthetic approach to the Quillen model structure on topological spaces*[arXiv:2310.14235]

category: people

Last revised on November 18, 2023 at 14:05:37. See the history of this page for a list of all contributions to it.