17 citations · 30 across the 21 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.CT2024
Logical Structure on Inverse Functor Categories
Marcelo Fiore, Chris Kapulkin, Yufeng Li
Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and…
cs.CG2024
Faster computations of discrete homology
Chris Kapulkin, Nathan Kershaw
Machine computation of the discrete homology of graphs has stopped at degree two. We present an algorithm that reaches degree four. It generates the singular cubes inductively, pai…
math.CT2024
Homotopy -types of cubical sets and graphs
Chris Kapulkin, Udit Mavinkurve
We give a new construction of the model structure on the category of simplicial sets for homotopy -types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right t…