nLab Chris Kapulkin

• webpage

Selected writings

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]

Related $n$Lab entries

• internal category in homotopy type theory

category: people