Y. Maehara

collaborators

Showing math.CTShow all

3 papers · 1 filter

math.CT2025

$ω$ -equifibrations between strict and weak $ω$ -categories

Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

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

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$ -…

math.CT2024

$ω$ -weak equivalences between weak $ω$ -categories

Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

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

ω-equifibrations between strict and weak ω-categories

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

ω-weak equivalences between weak ω-categories

$ω$ -equifibrations between strict and weak $ω$ -categories

$ω$ -weak equivalences between weak $ω$ -categories