Edit Profile (opens in new tab) Kapulkin, Krzysztof Co-Author Distance Author ID: 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 Documents Indexed: 30 Publications since 2011, including 11 Additional arXiv Preprints 1 Further Contribution Co-Authors: 28 Co-Authors with 30 Joint Publications 350 Co-Co-Authors 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 all top 5 Serials 2 Advances in Mathematics 2 MSCS. Mathematical Structures in Computer Science 2 Applied Categorical Structures 2 Journal of Topology 1 Journal of Pure and Applied Algebra 1 Mathematische Zeitschrift 1 Expositiones Mathematicae 1 The New York Journal of Mathematics 1 Selecta Mathematica. New Series 1 Theory and Applications of Categories 1 Journal of the European Mathematical Society (JEMS) 1 Logical Methods in Computer Science all top 5 Fields 24 Algebraic topology (55-XX) 23 Category theory; homological algebra (18-XX) 12 Mathematical logic and foundations (03-XX) 5 Combinatorics (05-XX) 2 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 32 Serials 14 MSCS. Mathematical Structures in Computer Science 14 Logical Methods in Computer Science 11 Journal of Pure and Applied Algebra 3 Applied Categorical Structures 3 Theory and Applications of Categories 3 Higher Structures 2 Advances in Mathematics 2 Bulletin of the London Mathematical Society 2 Synthese 2 Journal of Automated Reasoning 2 Algebraic & Geometric Topology 2 Journal of Homotopy and Related Structures 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Journal of the London Mathematical Society. Second Series 1 Mathematische Annalen 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 Studia Logica 1 Annals of Pure and Applied Logic 1 Forum Mathematicum 1 Bulletin of the American Mathematical Society. New Series 1 Expositiones Mathematicae 1 Indagationes Mathematicae. New Series 1 The New York Journal of Mathematics 1 Journal of Functional Programming 1 Selecta Mathematica. New Series 1 Journal of the European Mathematical Society (JEMS) 1 La Gaceta de la Real Sociedad Matemática Española 1 ACM Transactions on Computational Logic 1 Mediterranean Journal of Mathematics 1 Forum of Mathematics, Sigma 1 Tunisian Journal of Mathematics all top 5 Cited in 14 Fields 65 Mathematical logic and foundations (03-XX) 63 Category theory; homological algebra (18-XX) 51 Algebraic topology (55-XX) 23 Computer science (68-XX) 3 Algebraic geometry (14-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) Citations by Year