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 the Hurewicz theorem for cubical homology:

- Daniel Carranza, Chris Kapulkin, Andrew Tonks:
*The Hurewicz theorem for cubical homology*, Mathematische Zeitschrift**305**61 (2023) [doi:10.1007/s00209-023-03352-0, arXiv:2207.12500]

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]

Classifying the closed symmetric monoidal-structures on the category of reflexive graphs:

- Krzysztof Kapulkin, Nathan Kershaw:
*Closed symmetric monoidal structures on the category of graphs*, Theory and Applications of Categories**41**23 (2024) 760-784 [tac:41-23, arXiv:2310.00493]

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 July 16, 2024 at 10:46:28. See the history of this page for a list of all contributions to it.