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

TL;DR

This paper introduces $oldsymbol{ ext{ extomega}- ext{ extequifibrations}}$ as a natural weak $ ext{ extomega}$-categorical analogue of isofibrations, characterizes them via lifting properties, and relates them to existing structures in strict and weak $ ext{ extomega}$-categories.

Contribution

It defines $ ext{ extomega}$-equifibrations for weak $ ext{ extomega}$-categories, characterizes them through lifting properties, and connects them with known models and structures.

Findings

$ ext{ extomega}$-equifibrations are characterized by right lifting property w.r.t. a set $J$ of strict $ ext{ extomega}$-functors.

The construction of $ ext{ extomega}$-equifibrations involves a weak $ ext{ extomega}$-category $ ext{ extcal E}^1$.

Strict $ ext{ extomega}$-category version of $ ext{ extomega}$-equifibrations coincides with the folk model structure fibrations.

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 $J$ of strict $\omega$-functors. The definition of $J$ involves the construction of a certain weak $\omega$-category $\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 $\mathcal{E}^1$ coincides with Ozornova and Rovelli's coherent walking $\omega$-equivalence $\widehat{\omega\mathcal{E}}$. The $\omega$-equifibrations between strict $\omega$-categories coincide with the fibrations in the folk model structure.