$\omega$-equifibrations between strict and weak $\omega$-categories
Category Theory
2025-11-14 v1
Abstract
We study -equifibrations between weak -categories in the sense of Batanin--Leinster. We define -equifibrations as a natural weak -categorical analogue of isofibrations between categories, and show that they can be characterised via the right lifting property with respect to a suitable set of strict -functors. The definition of involves the construction of a certain weak -category which, roughly speaking, is freely generated by an equivalence 1-cell in a ``coherent'' manner. We show that the strict version of coincides with Ozornova and Rovelli's coherent walking -equivalence . The -equifibrations between strict -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!