English

$\omega$-equifibrations between strict and weak $\omega$-categories

Category Theory 2025-11-14 v1

Abstract

We study ω\omega-equifibrations between weak ω\omega-categories in the sense of Batanin--Leinster. We define ω\omega-equifibrations as a natural weak ω\omega-categorical analogue of isofibrations between categories, and show that they can be characterised via the right lifting property with respect to a suitable set JJ of strict ω\omega-functors. The definition of JJ involves the construction of a certain weak ω\omega-category E1\mathcal{E}^1 which, roughly speaking, is freely generated by an equivalence 1-cell in a ``coherent'' manner. We show that the strict version of E1\mathcal{E}^1 coincides with Ozornova and Rovelli's coherent walking ω\omega-equivalence ωE^\widehat{\omega\mathcal{E}}. The ω\omega-equifibrations between strict ω\omega-categories coincide with the fibrations in the folk model structure.

Keywords

Cite

@article{arxiv.2511.09849,
  title  = {$\omega$-equifibrations between strict and weak $\omega$-categories},
  author = {Soichiro Fujii and Keisuke Hoshino and Yuki Maehara},
  journal= {arXiv preprint arXiv:2511.09849},
  year   = {2025}
}

Comments

33 pages. Comments welcome!

R2 v1 2026-07-01T07:34:52.598Z