9 citations · 18 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…
math.CT2020★ 9 cited
The Gray tensor product for 2-quasi-categories
Yuki Maehara
We construct an -version of the (lax) Gray tensor product. On the 1-categorical level, this is a binary (or more generally an -ary) functor on the category of -…