Get started
Author

Krzysztof Kapulkin

Observed names: K. Kapulkin, KRZYSZTOF KAPULKIN, Kapulkin, Krzysztof
ORCID: 0000-0002-8141-2554
Observed ORCID: 0000-0002-8141-2554
OpenAlex ID: A5037922223
The Simplicial Model of Univalent Foundations
2014 · Krzysztof Kapulkin, Peter LeFanu Lumsdaine, et al. · arXiv (Cornell University) · 74
Univalent categories and the Rezk completion
2015 · BENEDIKT AHRENS, KRZYSZTOF KAPULKIN, et al. · Mathematical Structures in Computer Science · 73
PDF
The simplicial model of Univalent Foundations (after Voevodsky)
2021 · Krzysztof Kapulkin, Peter LeFanu Lumsdaine · Journal of the European Mathematical Society · 70
PDF
Homotopy limits in type theory
2018 · Avigad, Jeremy, Kapulkin, Krzysztof, et al. · Figshare · 24
PDF
The homotopy theory of type theories
2018 · Krzysztof Kapulkin, Peter LeFanu Lumsdaine · Advances in Mathematics · 22
PDF
Expressiveness of Positive Coalgebraic Logic
2012 · Krzysztof Kapulkin, Alexander Kurz, et al. · 20
Homotopy-Theoretic Models of Type Theory
2011 · Peter Arndt, Krzysztof Kapulkin · Lecture notes in computer science · 18
PDF
A cubical approach to straightening
2020 · Krzysztof Kapulkin, Vladimir Voevodsky · Journal of Topology · 15
Quasicategories of Frames of Cofibration Categories
2016 · Krzysztof Kapulkin, Karol Szumiło · Applied Categorical Structures · 15
Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons
2018 · Rhys Carlton, Aleksander Essex, et al. · Lecture notes in computer science · 14
Univalent Categories and the Rezk Completion
2015 · Benedikt Ahrens, Krzysztof Kapulkin, et al. · Trends in mathematics · 12
Equivalence of cubical and simplicial approaches to (∞,n)-categories
2023 · Brandon Doherty, Krzysztof Kapulkin, et al. · Advances in Mathematics · 10
A cubical model for (∞,n)-categories
2025 · Tim Campion, Krzysztof Kapulkin, et al. · Geometry & Topology · 9
PDF
Cubical Models of (∞,1)-Categories
2024 · Brandon Doherty, Krzysztof Kapulkin, et al. · Memoirs of the American Mathematical Society · 5
Internal languages of finitely complete $$(\infty , 1)$$ ( ∞ , 1 ) -categories
2019 · Krzysztof Kapulkin, Karol Szumiło · Selecta Mathematica · 4
Cubical setting for discrete homotopy theory, revisited
2024 · D. Carranza, K. Kapulkin · Compositio Mathematica · 3
PDF
Cofibration category of digraphs for path homology
2024 · Daniel Carranza, Brandon Doherty, et al. · Algebraic Combinatorics · 3
Homotopy limits in Coq
2013 · Jeremy Avigad, Krzysztof Kapulkin, et al. · arXiv (Cornell University) · 3
The fundamental group in discrete homotopy theory
2025 · Krzysztof Kapulkin, Udit Mavinkurve · Advances in Applied Mathematics · 2
Homotopy groups of cubical sets
2023 · Daniel Carranza, Krzysztof Kapulkin · Expositiones Mathematicae · 2
Joyal's Conjecture in Homotopy Type Theory
2014 · Krzysztof Kapulkin · D-Scholarship@Pitt (University of Pittsburgh) · 2
PDF
Synthetic approach to the Quillen model structure on topological spaces
2025 · Sterling Ebel, Krzysztof Kapulkin · Algebraic & Geometric Topology · 1
PDF
Closed symmetric monoidal structures on the category of graphs
2024 · Krzysztof Kapulkin, Nathan Kershaw · Theory and applications of categories · 1
PDF
The Hurewicz theorem for cubical homology
2023 · Daniel Carranza, Krzysztof Kapulkin, et al. · Mathematische Zeitschrift · 1
PDF
Internal Languages of Finitely Complete (∞, 1)-categories
2019 · Krzysztof Kapulkin, Karol Szumiło · White Rose Research Online (University of Leeds, The University of Sheffield, University of York) · 1
PDF
Works count: 33
Citation count: 404
H-index: 11
I10-index: 12
Year
Topic
Type