9 citations · 18 across the 8 of their papers we have counts for
5 papers · 1 filter
A model-independent Gray tensor product for -categories
Timothy Campion, Yuki Maehara
We construct a (lax) Gray tensor product of -categories and characterize it via a model-independent universal property. Namely, it is the unique monoidal biclosed struc…
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…
Orientals as free weak -categories
Yuki Maehara
The orientals are the free strict -categories on the simplices introduced by Street. The aim of this paper is to show that they are also the free weak -categories on the same…
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 -…
Inner horns for 2-quasi-categories
Yuki Maehara
Dimitri Ara's 2-quasi-categories, which are certain presheaves over André Joyal's 2-cell category , are an example of a concrete model that realises the abstract notion of $(\…