pith. sign in

Chris Kapulkin

Identifiers

  • name variant Chris Kapulkin 0.60 · backfill

Papers (10)

  1. RedZeD: Computing persistent homology by Reduction to Zero Differentials cs.CG · 2026 · author #1
  2. Towards fast computation of higher discrete homology cs.CG · 2026 · author #2
  3. A co-reflection of cubical sets into simplicial sets with applications to model structures math.CT · 2019 · author #1
  4. Internal Languages of Finitely Complete $(\infty, 1)$-categories math.CT · 2017 · author #1
  5. Locally Cartesian Closed Quasicategories from Type Theory math.CT · 2015 · author #1
  6. Quasicategories of Frames of Cofibration Categories math.AT · 2015 · author #1
  7. Homotopy limits in type theory math.LO · 2013 · author #2
  8. Univalent categories and the Rezk completion math.CT · 2013 · author #2
  9. Homotopy Theoretic Models of Type Theory math.LO · 2012 · author #2
  10. Univalence in Simplicial Sets math.AT · 2012 · author #1

Mentions

  • 2606.06310 #1 · arxiv_oai · confidence 0.70 Chris Kapulkin
  • 1507.02648 #1 · backfill · confidence 0.70 Chris Kapulkin
  • 1506.08681 #1 · backfill · confidence 0.70 Chris Kapulkin
  • 2606.00245 #2 · arxiv_oai · confidence 0.70 Chris Kapulkin
  • 1304.0680 #2 · backfill · confidence 0.70 Chris Kapulkin
  • 1303.0584 #2 · backfill · confidence 0.70 Chris Kapulkin
  • 1208.5683 #2 · backfill · confidence 0.70 Chris Kapulkin
  • 1203.2553 #1 · backfill · confidence 0.70 Chris Kapulkin

Frequent Coauthors