Chris Kapulkin

Identifiers

• name variant Chris Kapulkin 0.60 · backfill

Papers (8)

1. A co-reflection of cubical sets into simplicial sets with applications to model structures math.CT · 2019 · author #1
2. Internal Languages of Finitely Complete $(\infty, 1)$-categories math.CT · 2017 · author #1
3. Locally Cartesian Closed Quasicategories from Type Theory math.CT · 2015 · author #1
4. Quasicategories of Frames of Cofibration Categories math.AT · 2015 · author #1
5. Homotopy limits in type theory math.LO · 2013 · author #2
6. Univalent categories and the Rezk completion math.CT · 2013 · author #2
7. Homotopy Theoretic Models of Type Theory math.LO · 2012 · author #2
8. Univalence in Simplicial Sets math.AT · 2012 · author #1

Mentions

• 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

• Karol Szumi{\l}o 2 shared papers
• Peter LeFanu Lumsdaine 2 shared papers
• Benedikt Ahrens 1 shared papers
• Jeremy Avigad 1 shared papers
• Liang Ze Wong 1 shared papers
• Michael Shulman 1 shared papers
• Peter Arndt 1 shared papers
• Vladimir Voevodsky 1 shared papers
• Zachery Lindsey 1 shared papers