Følg
Chris Kapulkin
Chris Kapulkin
Associate Professor; University of Western Ontario
Verifisert e-postadresse på uwo.ca - Startside
Tittel
Sitert av
Sitert av
År
The simplicial model of univalent foundations (after Voevodsky)
C Kapulkin, PLF Lumsdaine
Journal of the European Mathematical Society 23 (6), 2071–2126, 2021
393*2021
Univalent categories and the Rezk completion
B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (5), 1010–1039, 2015
1472015
Homotopy Type Theory: Univalent Foundations of Mathematics
P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...
144*2013
Homotopy limits in type theory
J Avigad, K Kapulkin, PLF Lumsdaine
Mathematical Structures in Computer Science 25 (5), 1040-1070, 2015
56*2015
The homotopy theory of type theories
K Kapulkin, PLF Lumsdaine
Advances in Mathematics 337, 1-38, 2018
482018
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
A cubical model for (∞, n)-categories
T Campion, K Kapulkin, Y Maehara
arXiv preprint arXiv:2005.07603, 2020
282020
Expressiveness of Positive Coalgebraic Logic
K Kapulkin, A Kurz, J Velebil
Advances in Modal Logic 9, 368-385, 2012
282012
A cubical approach to straightening
K Kapulkin, V Voevodsky
Journal of Topology 13 (4), 1682-1700, 2020
272020
Quasicategories of frames of cofibration categories
C Kapulkin, K Szumiło
Applied Categorical Structures 25 (3), 323–347, 2017
242017
Univalence in simplicial sets
C Kapulkin, PLF Lumsdaine, V Voevodsky
arXiv preprint arXiv:1203.2553, 2012
242012
Equivalence of cubical and simplicial approaches to (∞, n)-categories
B Doherty, K Kapulkin, Y Maehara
Advances in Mathematics 416, 108902, 2023
172023
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
152018
Homotopical inverse diagrams in categories with attributes
K Kapulkin, PLF Lumsdaine
Journal of Pure and Applied Algebra 225 (4), 106563, 2021
142021
Cubical models of -categories
B Doherty, C Kapulkin, Z Lindsey, C Sattler
arXiv preprint arXiv:2005.04853, 2020
102020
Homotopy groups of cubical sets
D Carranza, K Kapulkin
Expositiones Mathematicae 41 (4), 125518, 2023
82023
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
82019
Expressivity of coalgebraic logic over posets
K Kapulkin, A Kurz, J Velebil
CMCS 10, 16-17, 2010
82010
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20