Chris Kapulkin

Publications

• Cubical Models of (∞, 1)-Categories. Brandon Doherty, Chris Kapulkin, Zachery Lindsey, Christian Sattler. 2022.
• The Simplicial Model of Univalent Foundations (After Voevodsky). Chris Kapulkin, Peter LeFanu Lumsdaine. 2018.