Y. Maehara

collaborators

3 papers

math.CT2025

$I ¨ $ -equifibrations between strict and weak $I ¨ $ -categories

Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

We study $I ¨ $ -equifibrations between weak $I ¨ $ -categories in the sense of Batanin--Leinster. We define $I ¨ $ -equifibrations as a natural weak $I ¨ $ -categorical analogue of isofibrati…

math.CT2025

$I ¨ $ -weak equivalences between weak $I ¨ $ -categories

Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

We study $I ¨ $ -weak equivalences between weak $I ¨ $ -categories in the sense of Batanin-Leinster. Our $I ¨ $ -weak equivalences are strict $I ¨ $ -functors satisfying essential surjectivity…

math.CT2025

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

Ryuya Hora, Yuhi Kamio, Yuki Maehara

In the topos of simplicial sets, it makes sense to ask the following question about a given natural number $n$ : what is the minimum value $m$ such that $n$ -skeletality implies $m$ -…

I¨-equifibrations between strict and weak I¨-categories

I¨-weak equivalences between weak I¨-categories

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

$I ¨ $ -equifibrations between strict and weak $I ¨ $ -categories

$I ¨ $ -weak equivalences between weak $I ¨ $ -categories