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: 18 Publications since 2011 1 Further Contribution Co-Authors: 20 Co-Authors with 18 Joint Publications 250 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Lumsdaine, Peter LeFanu 3 Carranza, Daniel 2 Ahrens, Benedikt 2 Avigad, Jeremy 2 Shulman, Michael A. 2 Szumiło, Karol 2 Voevodskiĭ, Vladimir Aleksandrovich 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 Carlton, Rhys 1 Chang, Jonathan 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Doherty, Brandon 1 Dybjer, Peter 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 Kim, Jinho 1 Kock, Joachim 1 Kraus, Nicolai 1 Kurz, Alexander 1 Li, Nuo 1 Licata, Dan 1 Lindsey, Zachery 1 Luo, Zhaohui 1 Maehara, Yuki 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Sandford, Ryan 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 Wong, Liang Ze 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 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 14 Algebraic topology (55-XX) 13 Category theory; homological algebra (18-XX) 11 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 Combinatorics (05-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 126 times in 90 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 The simplicial model of univalent foundations (after Voevodsky). Zbl 1471.18025Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu 32 2021 Univalent categories and the Rezk completion. Zbl 1362.18003Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael 22 2015 Homotopy limits in type theory. Zbl 1362.18004Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu 13 2015 The homotopy theory of type theories. Zbl 1397.18015Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu 11 2018 Expressiveness of positive coalgebraic logic. Zbl 1291.03034Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří 9 2012 Quasicategories of frames of cofibration categories. Zbl 1372.55014Kapulkin, Krzysztof; Szumiło, Karol 9 2017 The law of excluded middle in the simplicial model of type theory. Zbl 1452.03038Kapulkin, Chris; Lefanu Lumsdaine, Peter 8 2020 A cubical approach to straightening. Zbl 1470.18028Kapulkin, Krzysztof; Voevodsky, Vladimir 7 2020 Homotopy-theoretic models of type theory. Zbl 1331.03044Arndt, Peter; Kapulkin, Krzysztof 6 2011 Locally Cartesian closed quasi-categories from type theory. Zbl 1388.18025Kapulkin, Krzysztof 4 2017 Internal languages of finitely complete \((\infty , 1)\)-categories. Zbl 1462.18007Kapulkin, Krzysztof; Szumiło, Karol 2 2019 A co-reflection of cubical sets into simplicial sets with applications to model structures. Zbl 1437.55028Kapulkin, Krzysztof; Lindsey, Zachery; Wong, Liang Ze 2 2019 Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories. Zbl 1520.55015Doherty, Brandon; Kapulkin, Krzysztof; Maehara, Yuki 1 2023 Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories. Zbl 1520.55015Doherty, Brandon; Kapulkin, Krzysztof; Maehara, Yuki 1 2023 The simplicial model of univalent foundations (after Voevodsky). Zbl 1471.18025Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu 32 2021 The law of excluded middle in the simplicial model of type theory. Zbl 1452.03038Kapulkin, Chris; Lefanu Lumsdaine, Peter 8 2020 A cubical approach to straightening. Zbl 1470.18028Kapulkin, Krzysztof; Voevodsky, Vladimir 7 2020 Internal languages of finitely complete \((\infty , 1)\)-categories. Zbl 1462.18007Kapulkin, Krzysztof; Szumiło, Karol 2 2019 A co-reflection of cubical sets into simplicial sets with applications to model structures. Zbl 1437.55028Kapulkin, Krzysztof; Lindsey, Zachery; Wong, Liang Ze 2 2019 The homotopy theory of type theories. Zbl 1397.18015Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu 11 2018 Quasicategories of frames of cofibration categories. Zbl 1372.55014Kapulkin, Krzysztof; Szumiło, Karol 9 2017 Locally Cartesian closed quasi-categories from type theory. Zbl 1388.18025Kapulkin, Krzysztof 4 2017 Univalent categories and the Rezk completion. Zbl 1362.18003Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael 22 2015 Homotopy limits in type theory. Zbl 1362.18004Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu 13 2015 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 Expressiveness of positive coalgebraic logic. Zbl 1291.03034Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří 9 2012 Homotopy-theoretic models of type theory. Zbl 1331.03044Arndt, Peter; Kapulkin, Krzysztof 6 2011 all cited Publications top 5 cited Publications all top 5 Cited by 113 Authors 10 Ahrens, Benedikt 9 Kapulkin, Krzysztof 8 Lumsdaine, Peter LeFanu 6 Coquand, Thierry 5 Mörtberg, Anders 5 Sattler, Christian 4 Buchholtz, Ulrik 4 Rijke, Egbert 4 Shulman, Michael A. 4 Szumiło, Karol 4 van der Weide, Niels 3 Christensen, J. Daniel 3 De Groot, Jim 3 Gambino, Nicola 3 Huber, Simon 3 Maggesi, Marco 3 Scoccola, Luis Nerio 3 Spitters, Bas 2 Angiuli, Carlo 2 Birkedal, Lars 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 North, Paige Randall 2 Pitts, Andrew M. 2 Sterling, Jonathan 2 Van den Berg, Benno 2 Veltri, Niccolò 2 Vezzosi, Andrea 1 Abel, Andreas M. 1 Altenkirch, Thorsten 1 Arndt, Peter F. 1 Bezem, Marc 1 Bezhanishvili, Nick 1 Bizjak, Aleš 1 Bordg, Anthony 1 Boulier, Simon 1 Brunerie, Guillaume 1 Carranza, Daniel 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 Dutilh Novaes, Catarina 1 Džamonja, Mirna 1 Emmenegger, Jacopo 1 Fauser, Bertfried 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 Møgelberg, Rasmus Ejlers 1 Navarro Garmendia, Alberto 1 Ogle, Crichton 1 Opie, Morgan 1 Orton, Ian 1 Palmgren, Erik 1 Pasquali, Fabio 1 Pattinson, Dirk 1 Pavlović, Duško 1 Rasekh, Nima 1 Riehl, Emily 1 Rosolini, Giuseppe 1 Rot, Jurriaan 1 Rovelli, Martina 1 Ruch, Fabian 1 Schröder, Lutz 1 Stenzel, Raffael 1 Streicher, Thomas ...and 13 more Authors all top 5 Cited in 29 Serials 13 Logical Methods in Computer Science 11 MSCS. Mathematical Structures in Computer Science 10 Journal of Pure and Applied Algebra 3 Applied Categorical Structures 3 Theory and Applications of Categories 3 Higher Structures 2 Advances in Mathematics 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 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 all top 5 Cited in 13 Fields 62 Mathematical logic and foundations (03-XX) 54 Category theory; homological algebra (18-XX) 42 Algebraic topology (55-XX) 22 Computer science (68-XX) 3 Algebraic geometry (14-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