加载中…
We construct a generalization of the Day convolution tensor product of presheaves that works for certain double -categories. Using this construction, we obtain an -categorical version of the well-known description of (one-object) operads as associative algebras in symmetric sequences; more generally, we show that (enriched) -operads with varying spaces of objects can be described as associative algebras in a double -category of symmetric collections.

生成讲解博客的中文版本

生成AI智能校验的中文版本