9 citations · 18 across the 8 of their papers we have counts for
8 papers
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…
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…
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…
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…
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 $(\…
Describing groups using first-order language
Yuki Maehara
We investigate two notions about descriptions of groups using first-order language: quasi-finite axiomatizability, concerning infinite groups, and polylogarithmic compressibility,…