Envelopes for Algebraic Patterns

Shaul Barkan, Rune Haugseng, Jan Steinebrunner

We generalize Lurie's construction of the symmetric monoidal envelope of an $\infty$-operad to the setting of algebraic patterns. This envelope becomes fully faithful when sliced o…