On the Kelly monoidal structure of $\Lambda$-sequences and unital operads

TL;DR

This paper explores the Kelly monoidal structure on mbda-sequences, establishing new connections between unital operads, monoids, and modules, and providing a universal normal oplax monoidal structure in a general symmetric monoidal category.

Contribution

It introduces a universal normal oplax monoidal structure on mbda-sequences extending the Kelly product, linking unital operads to monoids in mbda-sequences within a broad categorical framework.

Findings

Forgetful functor from right modules in mbda-sequences to symmetric sequences is an isomorphism.

Any compatible lower data extends to a normal oplax monoidal structure.

Established a closed monoidal localization theorem.

Abstract

Let $\Lambda$ be the category of based finite sets $\mathbf{n}$ and based injections. We study properties of monoids and modules in $\Lambda$-sequences under the Kelly monoidal structure. In particular, we show that the forgetful functor from right modules in $\Lambda$-sequences to right modules in symmetric sequences is an isomorphism. We show that any compatible lower data extends to a normal oplax monoidal structure and use this to establish a universal normal oplax monoidal structure on $\Lambda$-sequences extending the Kelly product, identifying unital operads to monoids in unital $\Lambda$-sequences for a general symmetric monoidal category $\mathscr{V}$. We also establish a closed monoidal localization theorem.