×

Kapulkin, Krzysztof

Author ID: kapulkin.krzysztof Recent zbMATH articles by "Kapulkin, Krzysztof"
Published as: Kapulkin, Krzysztof; Kapulkin, Chris
Further Spellings: Kapulkin, Krzysztof Ryszard
Homepage: https://www.math.uwo.ca/faculty/kapulkin/
External Links: MGP · Google Scholar · dblp
all top 5

Co-Authors

1 single-authored
8 Carranza, Daniel
7 Lumsdaine, Peter LeFanu
3 Doherty, Brandon
3 Lindsey, Zachery
3 Voevodskiĭ, Vladimir Aleksandrovich
3 Wong, Liang Ze
2 Ahrens, Benedikt
2 Avigad, Jeremy
2 Maehara, Yuki
2 Shulman, Michael A.
2 Szumiło, Karol
1 Aczel, Peter
1 Altenkirch, Thorsten
1 Angiuli, Carlo
1 Arndt, Peter F.
1 Awodey, Steve
1 Barras, Bruno
1 Bauer, Andrej
1 Bertot, Yves
1 Bezem, Marc
1 Bordg, Anthony
1 Brunerie, Guillaume
1 Campion, Tim
1 Carlton, Rhys
1 Chang, Jonathan
1 Cohen, Cyril
1 Constable, Robert Lee
1 Coquand, Thierry
1 Curien, Pierre-Louis
1 Dybjer, Peter
1 Ebel, Sterling
1 Essex, Aleksander
1 Finster, Eric
1 Gambino, Nicola
1 Garner, Richard
1 Gonthier, Georges
1 Grayson, Daniel Richard
1 Hales, Thomas Callister
1 Harper, Robert
1 Herbelin, Hugo
1 Hofmann, Martin
1 Hofstra, Pieter J. W.
1 Hötzel Escardó, Martín
1 Hou (Favonia), Kuen-Bang
1 Joyal, André
1 Kershaw, Nathan
1 Kim, Jinho
1 Kock, Joachim
1 Kraus, Nicolai
1 Kurz, Alexander
1 Li, Nuo
1 Li, Yufeng
1 Licata, Dan
1 Luo, Zhaohui
1 Mahboubi, Assia
1 Martin-Löf, Per
1 Mavinkurve, Udit
1 Melikhov, Sergey Aleksandrovich
1 Nahas, Michael
1 Opie, Morgan
1 Palmgren, Erik
1 Pelayo, Alvaro
1 Polonsky, Andrew
1 Riehl, Emily
1 Rijke, Egbert
1 Sandford, Ryan
1 Sarazola, Maru
1 Sattler, Christian
1 Scott, Dana Stewart
1 Scott, Philip J.
1 Sojakova, Kristina
1 Solov’ëv, Sergeĭ Vladimirovich
1 Sozeau, Matthieu
1 Spitters, Bas
1
1 Tonks, Andrew
1 Van den Berg, Benno
1 Velebil, Jiří
1 Warren, Michael Alton
1 Zeilberger, Noam

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 143 times in 100 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
160
2013
The simplicial model of univalent foundations (after Voevodsky). Zbl 1471.18025
Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu
36
2021
Univalent categories and the Rezk completion. Zbl 1362.18003
Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael
23
2015
Homotopy limits in type theory. Zbl 1362.18004
Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu
14
2015
The homotopy theory of type theories. Zbl 1397.18015
Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu
12
2018
Expressiveness of positive coalgebraic logic. Zbl 1291.03034
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří
11
2012
Quasicategories of frames of cofibration categories. Zbl 1372.55014
Kapulkin, Krzysztof; Szumiło, Karol
10
2017
The law of excluded middle in the simplicial model of type theory. Zbl 1452.03038
Kapulkin, Chris; Lefanu Lumsdaine, Peter
8
2020
A cubical approach to straightening. Zbl 1470.18028
Kapulkin, Krzysztof; Voevodsky, Vladimir
8
2020
Homotopy-theoretic models of type theory. Zbl 1331.03044
Arndt, Peter; Kapulkin, Krzysztof
6
2011
Locally Cartesian closed quasi-categories from type theory. Zbl 1388.18025
Kapulkin, Krzysztof
5
2017
Internal languages of finitely complete \((\infty , 1)\)-categories. Zbl 1462.18007
Kapulkin, Krzysztof; Szumiło, Karol
4
2019
Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories. Zbl 1520.55015
Doherty, Brandon; Kapulkin, Krzysztof; Maehara, Yuki
3
2023
A co-reflection of cubical sets into simplicial sets with applications to model structures. Zbl 1437.55028
Kapulkin, Krzysztof; Lindsey, Zachery; Wong, Liang Ze
2
2019
2-adjoint equivalences in homotopy type theory. Zbl 1509.03051
Carranza, Daniel; Chang, Jonathan; Kapulkin, Chris; Sandford, Ryan
1
2021
Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories. Zbl 1520.55015
Doherty, Brandon; Kapulkin, Krzysztof; Maehara, Yuki
3
2023
The simplicial model of univalent foundations (after Voevodsky). Zbl 1471.18025
Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu
36
2021
2-adjoint equivalences in homotopy type theory. Zbl 1509.03051
Carranza, Daniel; Chang, Jonathan; Kapulkin, Chris; Sandford, Ryan
1
2021
The law of excluded middle in the simplicial model of type theory. Zbl 1452.03038
Kapulkin, Chris; Lefanu Lumsdaine, Peter
8
2020
A cubical approach to straightening. Zbl 1470.18028
Kapulkin, Krzysztof; Voevodsky, Vladimir
8
2020
Internal languages of finitely complete \((\infty , 1)\)-categories. Zbl 1462.18007
Kapulkin, Krzysztof; Szumiło, Karol
4
2019
A co-reflection of cubical sets into simplicial sets with applications to model structures. Zbl 1437.55028
Kapulkin, Krzysztof; Lindsey, Zachery; Wong, Liang Ze
2
2019
The homotopy theory of type theories. Zbl 1397.18015
Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu
12
2018
Quasicategories of frames of cofibration categories. Zbl 1372.55014
Kapulkin, Krzysztof; Szumiło, Karol
10
2017
Locally Cartesian closed quasi-categories from type theory. Zbl 1388.18025
Kapulkin, Krzysztof
5
2017
Univalent categories and the Rezk completion. Zbl 1362.18003
Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael
23
2015
Homotopy limits in type theory. Zbl 1362.18004
Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu
14
2015
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
160
2013
Expressiveness of positive coalgebraic logic. Zbl 1291.03034
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří
11
2012
Homotopy-theoretic models of type theory. Zbl 1331.03044
Arndt, Peter; Kapulkin, Krzysztof
6
2011
all top 5

Cited by 120 Authors

11 Ahrens, Benedikt
10 Kapulkin, Krzysztof
8 Lumsdaine, Peter LeFanu
6 Coquand, Thierry
5 Mörtberg, Anders
5 Sattler, Christian
5 van der Weide, Niels
4 Buchholtz, Ulrik
4 Rijke, Egbert
4 Shulman, Michael A.
4 Szumiło, Karol
3 Christensen, J. Daniel
3 De Groot, Jim
3 Gambino, Nicola
3 Huber, Simon
3 Maggesi, Marco
3 North, Paige Randall
3 Scoccola, Luis Nerio
3 Spitters, Bas
2 Angiuli, Carlo
2 Birkedal, Lars
2 Carranza, Daniel
2 Clouston, Ranald A.
2 Doherty, Brandon
2 Frumin, Dan
2 Grayson, Daniel Richard
2 Harper, Robert
2 Henry, Simon
2 Isaev, Valery
2 Matthes, Ralph
2 Moerdijk, Ieke
2 Pitts, Andrew M.
2 Riehl, Emily
2 Rovelli, Martina
2 Schröder, Lutz
2 Sterling, Jonathan
2 Uemura, Taichi
2 Van den Berg, Benno
2 Veltri, Niccolò
2 Vezzosi, Andrea
2 Voevodskiĭ, Vladimir Aleksandrovich
1 Abel, Andreas M.
1 Altenkirch, Thorsten
1 Arndt, Peter F.
1 Bergner, Julie
1 Bezem, Marc
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Bizjak, Aleš
1 Bordg, Anthony
1 Boulier, Simon
1 Brunerie, Guillaume
1 Caterina, Gianluca
1 Cavallo, Evan
1 Chen, Liang-Ting
1 Cohen, Cyril
1 Dahlqvist, Fredrik
1 Danielsson, Nils Anders
1 de Jong, Tom J.
1 Dorsch, Ulrich
1 Dostál, Matěj
1 Dutilh Novaes, Catarina
1 Džamonja, Mirna
1 Emmenegger, Jacopo
1 Fauser, Bertfried
1 Flaten, Jarl G. Taxerås
1 Frey, Jonas
1 Gangle, Rocco
1 Gepner, David
1 Geuvers, Jan Herman
1 Grathwohl, Hans Bugge
1 Gratzer, Daniel
1 Hackney, Philip
1 Hirschowitz, André
1 Hötzel Escardó, Martín
1 Hou (Favonia), Kuen-Bang
1 Jung, Achim
1 Kaposi, Ambrus
1 Kim, Jinho
1 Kock, Joachim
1 Kovács, András
1 Krishnan, Sanjeevi
1 Kupke, Clemens
1 Kurz, Alexander
1 Lafont, Ambroise
1 Le Grignou, Brice
1 Lenz, Tobias
1 Licata, Daniel R.
1 Lindsey, Zachery
1 Maehara, Yuki
1 Mannaa, Bassel
1 Meadows, Nicholas J.
1 Milius, Stefan
1 Møgelberg, Rasmus Ejlers
1 Navarro Garmendia, Alberto
1 Ogle, Crichton
1 Opie, Morgan
1 Orton, Ian
1 Ozornova, Viktoriya
1 Palmgren, Erik
...and 20 more Authors

Citations by Year