Follow
Chris Kapulkin
Title
Cited by
Cited by
Year
The simplicial model of univalent foundations (after Voevodsky)
C Kapulkin, PLF Lumsdaine
Journal of the European Mathematical Society 23 (6), 2071–2126, 2021
368*2021
Univalent categories and the Rezk completion
B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (5), 1010–1039, 2015
1382015
Homotopy Type Theory: Univalent Foundations of Mathematics
P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...
121*2013
Homotopy limits in type theory
J Avigad, K Kapulkin, PLF Lumsdaine
Mathematical Structures in Computer Science 25 (5), 1040-1070, 2015
52*2015
The homotopy theory of type theories
K Kapulkin, PLF Lumsdaine
Advances in Mathematics 337, 1-38, 2018
462018
Homotopy-theoretic models of type theory
P Arndt, K Kapulkin
International Conference on Typed Lambda Calculi and Applications, 45-60, 2011
372011
Internal languages of finitely complete -categories
K Kapulkin, K Szumiło
Selecta Mathematica 25 (Art. 33), 46 pp, 2019
35*2019
Locally cartesian closed quasicategories from type theory
C Kapulkin
Journal of Topology 10 (4), 1029-1049, 2017
292017
Expressiveness of Positive Coalgebraic Logic
K Kapulkin, A Kurz, J Velebil
Advances in Modal Logic 9, 368-385, 2012
282012
Univalence in simplicial sets
C Kapulkin, PLF Lumsdaine, V Voevodsky
arXiv preprint arXiv:1203.2553, 2012
252012
A cubical approach to straightening
K Kapulkin, V Voevodsky
Journal of Topology 13 (4), 1682-1700, 2020
242020
A cubical model for (∞, n)-categories
T Campion, K Kapulkin, Y Maehara
arXiv preprint arXiv:2005.07603, 2020
232020
Quasicategories of frames of cofibration categories
C Kapulkin, K Szumiło
Applied Categorical Structures 25 (3), 323–347, 2017
232017
Equivalence of cubical and simplicial approaches to (∞, n)-categories
B Doherty, K Kapulkin, Y Maehara
Advances in Mathematics 416, 108902, 2023
162023
Threshold properties of prime power subgroups with application to secure integer comparisons
R Carlton, A Essex, K Kapulkin
Cryptographers’ Track at the RSA Conference, 137-156, 2018
142018
Cubical models of -categories
B Doherty, C Kapulkin, Z Lindsey, C Sattler
arXiv preprint arXiv:2005.04853, 2020
112020
Expressivity of coalgebraic logic over posets
K Kapulkin, A Kurz, J Velebil
CMCS 10, 16-17, 2010
92010
A co-reflection of cubical sets into simplicial sets with applications to model structures
C Kapulkin, Z Lindsey, LZ Wong
New York Journal of Mathematics 25, 627–641, 2019
72019
Fiber bundles and univalence
I Moerdijk, C Kapulkin
Notes from a talk by I Moerdijk; MAP 2011; Lorentz Institute, 2011
7*2011
Homotopy groups of cubical sets
D Carranza, K Kapulkin
Expositiones Mathematicae 41 (4), 125518, 2023
62023
The system can't perform the operation now. Try again later.
Articles 1–20