17 citations · 30 across the 21 of their papers we have counts for
7 papers · 1 filter
Cubical models of -presheaves and the Bousfield-Kan formula
Kensuke Arakawa, Daniel Carranza, Chris Kapulkin
We construct the covariant and the cocartesian model structures on the slice categories of cubical sets and marked cubical sets, respectively. As an application, we derive a versio…
Derived mapping spaces of -categories
Kensuke Arakawa, Daniel Carranza, Chris Kapulkin
We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for -categories, and allows us to provide a unif…
Topological data analysis using persistent discrete homology
Chris Kapulkin, Nathan Kershaw
We propose persistent discrete homology as a tool for topological data analysis and discuss its advantages over the existing methods. In particular, we provide empirical evidence t…
Calculus of Fractions for Quasicategories
Daniel Carranza, Chris Kapulkin, Zachery Lindsey
We describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove…
Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
Daniel Carranza, Chris Kapulkin, Liang Ze Wong
The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal…
Cubical models of -categories
Brandon Doherty, Chris Kapulkin, Zachery Lindsey +1
We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting…
Univalence in Simplicial Sets
Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky
We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.