Unital operads, monoids, monads, and bar constructions

Abstract

We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\hat{I}›$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of symmetric sequences. The monads associated to unital operads are the ones of interest in iterated loop space theory and factorization homology, among many other applications. Our new description of unital operads allows an illuminating comparison between the two-sided monadic bar constructions used in such applications and "classical" monoidal two-sided bar constructions. It also allows a more conceptual understanding of the scanning map central to non-abelian Poincaré duality in factorization homology.