Large condensation in enriched $\infty$-categories

TL;DR

This paper develops a generalized framework for condensation in enriched $ abla$-categories, extending previous concepts to a broader class of monoidal $ abla$-categories with applications to symmetries of various dimensions.

Contribution

It formalizes and generalizes the notion of fusion n-categories and iterative condensation using enriched $ abla$-categories, expanding the scope beyond fusion n-categories.

Findings

Extended categorical condensation to all enriched monoidal $ abla$-categories with certain colimits.

Proved functoriality of Day convolution in enriched $ abla$-categories.

Established monoidality of Eilenberg-Moore functors in this context.

Abstract

Using the language of enriched $\infty$-categories, we formalize and generalize the definition of fusion n-category, and an analogue of iterative condensation of $E_i$-algebras. The former was introduced by Johnson-Freyd, and the latter by Kong, Zhang, Zhao, and Zheng. This extends categorical condensation beyond fusion n-categories to all enriched monoidal $\infty$-categories with certain colimits. The resulting theory is capable of treating symmetries of arbitrary dimension and codimension that are enriched, continuous, derived, non-semisimple and non-separable. Additionally, we consider a truncated variant of the notion of condensation introduced by Gaiotto and Johnson-Freyd, and show that iterative condensation of monoidal monads and $E_i$-algebras provide examples. In doing so, we prove results on functoriality of Day convolution for enriched $\infty$-categories, and monoidality of two versions of the Eilenberg-Moore functor, which may be of independent interest.