2007•arXiv (Cornell University)Open access

Operads in iterated monoidal categories

Stefan Forcey, Jacob Siehler, E. Seth Sowers

Open full text 41 citations

Abstract

The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schwänzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still sufficient to permit a good definition of ($n$-fold) operads in a $k$-fold monoidal category which generalizes the definition of operads in a braided category. Furthermore, the inheritance of structure by the category of operads is actually an inheritance of iterated monoidal structure, decremented by at least two iterations. We prove that the category of $n$-fold operads in a $k$-fold monoidal category is itself a $(k-n)$-fold monoidal, strict 2-category, and show that $n$-fold operads are automatically $(n-1)$-fold operads. We also introduce a family of simple examples of $k$-fold monoidal categories and classify operads in the example categories.

Open-access reader

About this research paper

What this paper is about

The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schwänzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still sufficient to permit a good definition of ($n$-fold) operads in a $k$-fold monoidal category which generalizes the definition of operads in a braided category. Furthermore, the inheritance of structure by the category of operads is actually an inheritance of iterated monoidal structure, decremented by at least two iterations. We prove that the category of $n$-fold operads in a $k$-fold monoidal category is itself a $(k-n)$-fold monoidal, strict 2-category, and show that $n$-fold operads are automatically $(n-1)$-fold operads. We also introduce a family of simple examples of $k$-fold monoidal categories and classify operads in the example categories.

Why it matters

OpenAlex reports 41 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schwänzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still sufficient to permit a good definition of ($n$-fold) operads in a $k$-fold monoidal category which generalizes the definition of operads in a braided category. Furthermore, the inheritance of structure by the category of operads is actually an inheritance of iterated monoidal structure, decremented by at least two iterations. We prove that the category of $n$-fold operads in a $k$-fold monoidal category is itself a $(k-n)$-fold monoidal, strict 2-category, and show that $n$-fold operads are automatically $(n-1)$-fold operads. We also introduce a family of simple examples of $k$-fold monoidal categories and classify operads in the example categories.

Key concepts: Closed monoidal category, Symmetric monoidal category, Enriched category, Iterated function, Mathematics, Monoidal category, Higher category theory, Pure mathematics

Related papers

Back to paper searchBrowse research topicsOriginal source
Operads in iterated monoidal categories — Research Paper | ScholarLens