1 citations · 2 across the 2 of their papers we have counts for
3 papers
math.AT2025★ 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.AT2025★ 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…
math.CT2024
Weakly invertible cells in a weak -category
Soichiro Fujii, Keisuke Hoshino, Yuki Maehara
We study weakly invertible cells in weak -categories in the sense of Batanin-Leinster, adopting the coinductive definition of weak invertibility. We show that weakly invertible…