9 citations · 18 across the 8 of their papers we have counts for
Showing math.ATShow all
2 papers · 1 filter
math.AT2021★ 1 cited
Equivalence of cubical and simplicial approaches to -categories
Brandon Doherty, Chris Kapulkin, Yuki Maehara
We prove that the marked triangulation functor from the category of marked cubical sets equipped with a model structure for (-trivial, saturated) comical sets to the category of…
math.AT2020★ 1 cited
A cubical model for -categories
Tim Campion, Chris Kapulkin, Yuki Maehara
We propose a new model for the theory of -categories (including the case ) in the category of marked cubical sets with connections, similar in flavor to compl…