Semi-strictification of $(\infty, n)$-categories

Clémence Chanavat; Amar Hadzihasanovic

Home/Archive/arXiv

arXiv · 2507.00146

Semi-strictification of $(\infty, n)$-categories

Clémence Chanavat·Amar Hadzihasanovic

View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a semi-strict one through an acyclic cofibration, in such a way that weak functors lift to semi-strict functors; this constitutes the derived unit of a Quillen equivalence between weak model categories whose fibrant objects are, respectively, the weak $(\infty, n)$-categories and (up to an acyclic fibration) the semi-strict ones. The semi-strict model has algebraic units and composition of round pasting diagrams, satisfying a strict form of associativity and interchange as in Henry's regular version of Simpson's weak units conjecture; semi-strict functors strictly preserve round composition, but only weakly preserve units. Globular composition operations are obtained from a combination of units and round composition. Since the models satisfy the homotopy hypothesis in the case $n = 0$, this result also exhibits the first semi-strict model of the classical homotopy types that has algebraic units and composition. The constructions are based on the combinatorics of regular directed complexes and are entirely explicit and combinatorial, in the spirit of Mac Lane's strictification of bicategories.

Explore related subjects

math.CT math.AT math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Clémence Chanavat, Amar Hadzihasanovic. 2025-06-30. Semi-strictification of $(\infty, n)$-categories. https://arxiv.org/abs/2507.00146

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Hochschild cohomology of the second kind: Koszul duality and Morita invariance

We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category. The Hochschild cohomology of the second kind of a curved or curved algebra $A$ is then equivalent to the classical Hochschild cohomology of the twisted derived dg category of $A$, which is often geometrically meaningful. Examples include the category of $\infty$-local systems on a topological space, the bounded derived category of a complex manifold and the category of matrix factorizations. We also show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality and weak equivalences of curved algebras. The main technical ingredient is a new bimodule version of Koszul duality.

math.CT↗

arXiv2026

Localization of lax symmetric monoidal categories

In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads and dendroidal infinity-operads". Version 2: A stronger version of the result is proven. Given a locally cocartesian fibration $f:X\to B$ and a collection of marked arrows $X^\circ\subset f^{-1}(B^{eq})$ in $X$ closed under locally cocartesian liftings, we prove that the localization $\mathcal{L}(X,X^\circ)\to B$ is also a locally cocartesian fibration whose fibers are localizations of the fibers of $f$. This result is applied to the description of localizations of lax symmetric monoidal categories.

math.CT↗

arXiv2026

Cocompactness and Presentability

We give a short proof that $κ$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\infty$-categories. A consequence is that an $\infty$-category $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^\mathsf{op}$ are presentable is a small complete lattice, extending a classical theorem of Gabriel-Ulmer. Along the way, we prove a nilpotence result for phantom maps in general pointed presentable $\infty$-categories. Additionally, we show that a strengthening of our main result is equivalent to the existence of a proper class of measurable cardinals.

math.CT↗