Envelopes for Algebraic Patterns

Authors Shaul Barkan, Rune Haugseng, Jan Steinebrunner

Publication date 15 August 2022

(infty)-operads and higher algebra (18N70)

Abstract: We generalize Lurie's construction of the symmetric monoidal envelope of an

i n f t y

-operad to the setting of algebraic patterns. This envelope becomes fully faithful when sliced over the envelope of the terminal object, and we characterize its essential image. Using this, we prove a comparison result that allows us to compare analogues of

i n f t y

-operads over various algebraic patterns. In particular, we show that the

G

-

i n f t y

-operads of Nardin-Shah are equivalent to "fibrous patterns" over the

(2, 1)

-category

m a t h r m S p a n (m a t h b b F_{G})

of spans of finite

G

-sets. When

G

is trivial this means that Lurie's

i n f t y

-operads can equivalently be defined over

m a t h r m S p a n (m a t h b b F)

instead of

m a t h b b F_{*}

.

This page was built for publication: Envelopes for Algebraic Patterns

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6407888)