CK
Chris Kapulkin
math.ATmath.CTmath.COcs.CGmath.LOcs.LOcs.MS
On Valency
published · living versionsW_4bx2y7ju·v1 · currentpublished
Preprints & journals
23 papers in the corpus · 2012–2026Discrete homology computations by reduction to zero differentials2608.04262v1 · Sterling Ebel, Chris Kapulkin, Nathan Kershaw2026 · 0 citationsarXiv
Stability of persistent path homology of path complexes2607.26226v1 · Chris Kapulkin, Kyle Koyanagi2026 · 0 citationsarXiv
RedZeD: Computing persistent homology by Reduction to Zero Differentials2606.06310v3 · Chris Kapulkin, Nathan Kershaw2026 · 0 citationsarXiv
Towards fast computation of higher discrete homology2606.00245v1 · Jacob Ender, Chris Kapulkin2026 · 0 citationsarXiv
Discrete homotopy hypothesis for n-types2602.19293v1 · Daniel Carranza, Chris Kapulkin2026 · 0 citationsarXiv
Yet another cubical type theory, but via a semantic approach2512.17548v1 · Chris Kapulkin, Yufeng Li2025 · 0 citationsarXiv
Fast computation of the first discrete homology group2512.13929v1 · Jacob Ender, Chris Kapulkin2025 · 0 citationsarXiv
Cubical models of -presheaves and the Bousfield-Kan formula2511.12809v1 · Kensuke Arakawa, Daniel Carranza, Chris Kapulkin2025 · 0 citationsarXiv
Derived mapping spaces of -categories2509.10288v1 · Kensuke Arakawa, Daniel Carranza, Chris Kapulkin2025 · 0 citationsarXiv
Pushforwards in Inverse Homotopical Diagrams2506.04472v1 · Chris Kapulkin, Yufeng Li2025 · 0 citationsarXiv
Logical Structure on Inverse Functor Categories2410.11728v1 · Marcelo Fiore, Chris Kapulkin, Yufeng Li2024 · 0 citationsarXiv
Faster computations of discrete homology2410.09939v3 · Chris Kapulkin, Nathan Kershaw2024 · 0 citationsarXiv
Homotopy -types of cubical sets and graphs2408.05289v2 · Chris Kapulkin, Udit Mavinkurve2024 · 0 citationsarXiv
Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories2306.02217v2 · Daniel Carranza, Chris Kapulkin, Liang Ze Wong2023 · 0 citationsTheory Appl. Categ. 44 (2025), Paper No. 11, 326-343
Calculus of Fractions for Quasicategories2306.02218v2 · Daniel Carranza, Chris Kapulkin, Zachery Lindsey2023 · 0 citationsarXiv
Equivalence of cubical and simplicial approaches to -categories2106.09428v4 · Brandon Doherty, Chris Kapulkin, Yuki Maehara2021 · 1 citationAdv. Math. 416 (2023), Paper No. 108902, 81 pp
2-adjoint equivalences in homotopy type theory2008.12433v4 · Daniel Carranza, Jonathan Chang, Chris Kapulkin et al.2020 · 1 citationLogical Methods in Computer Science, Volume 17, Issue 1 (January 22, 2021) lmcs:6778
The law of excluded middle in the simplicial model of type theory2006.13694v2 · Chris Kapulkin, Peter LeFanu Lumsdaine2020 · 3 citationsTheory and Applications of Categories, Vol. 35, 2020, No. 40, pp 1546-1548
Cubical models of -categories2005.04853v3 · Brandon Doherty, Chris Kapulkin, Zachery Lindsey et al.2020 · 4 citationsarXiv
A co-reflection of cubical sets into simplicial sets with applications to model structures1906.09203v1 · Chris Kapulkin, Zachery Lindsey, Liang Ze Wong2019 · 4 citationsarXiv
Homotopical inverse diagrams in categories with attributes1808.01816v3 · Chris Kapulkin, Peter LeFanu Lumsdaine2018 · 7 citationsarXiv
Internal Languages of Finitely Complete -categories1709.09519v2 · Chris Kapulkin, Karol Szumi\lo2017 · 1 citationarXiv
Univalence in Simplicial Sets1203.2553v4 · Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky2012 · 17 citationsarXiv
Career total: 32 works. 23 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.