symmetric monoidal (∞,1)-category of spectra
An ordinary category consists of a set of objects and a set of arrows, each with a single input or domain object and a single output or codomain object. Arrows are composed by plugging outputs into inputs, as when one composes unary operations.
An ordinary multicategory consists of a set of objects and a set of “multi-arrows”, each with a finite list of inputs or domain objects and a single output or codomain object. These multi-arrows are composed by means of multiple plug-ins or substitutions, as when one substitutes a list of operations of varying arities into an -ary operation.
Both categories and multicategories can be seen as monads in an appropriate bicategory of span-like objects. Categories are monads in the category of ordinary spans (of sets). Multicategories are monads in a bicategory of spans of shape
where is the set of finite lists of elements of . In order to compose spans of this type, one uses the fact that has itself the structure of a monad on , namely the list monad or “free monoid” monad. The idea of a generalized multicategory is to replace this monad by some more general monad .
There are a lot of ways of making this precise, ranging in abstractness from the fairly concrete (cartesian monads on a cartesian category) to the most general and abstract (monads on a virtual equipment). We will start from the former and gradually generalize to the latter.
Let be a finitely complete category, and let be a cartesian monad on , i.e. a monad whose functor part preserves pullbacks, and for which the naturality squares of its unit and multiplication are pullbacks. Then there is a bicategory of -spans in , whose objects are objects of , whose morphisms are spans from to , and whose 2-cells are morphisms of such spans. The identity is the span
where is the unit of . The composite of -spans , is given by taking the following pullback:
A -multicategory in is by definition a monad in the bicategory described above. However, it is convenient to use the alternate word monoid rather than monad here, to avoid confusion with the monad which lives on , and because the relevant morphisms of monoids (see below) are rather different from any of the usual sort of morphisms of monads.
If we spell out what this means more explicitly, a -multicategory consists of an object of , along with a span , and suitable identity-assigning and composition morphisms.
If is the terminal object, then we speak instead of a -operad.
When is the “free monoid” monad on , a -multicategory is precisely an ordinary multicategory.
When is the identity monad on , a -multicategory is simply an internal category in .
If is a monoid in and is the “free -set” monad, then a -multicategory is an “-graded category.”
If is a small category and is the monad on whose algebras are functors , then a -multicategory can be identified with an object of .
Note that when is a cartesian monad on a finitely complete category , then it extends to a (pseudo) 2-monad on the bicategory . The functor part of this 2-monad is given simply by applying ; this is a (pseudo) 2-functor since preserves pullbacks. The unit of this 2-monad is given by the spans
and its multiplication by
these are pseudonatural transformations since and are cartesian natural transformations.
Moreover, the bicategory defined above is easily seen to be precisely the Kleisli bicategory of this extended 2-monad on . Thus, a more general notion of “generalized multicategory” would be a monad (monoid) in some Kleisli bicategory.
Are ordinary symmetric multicategories the -multicategories relative to any monad ? Recall that in a symmetric multicategory, the source of a morphism is still an ordered list, but we have an action of the symmetric groups on the morphisms, in such a way that for we have , and composition is equivariant for this action.
It doesn’t work to let be the “free commutative monoid” monad, since that would destroy all ordering on the lists. (Also, that monad is not cartesian.) Really what we want is to let be the “free symmetric strict monoidal category” monad, since for a discrete set we have the set of finite ordered lists of elements of , with isomorphisms imposed for all permutations.
However, of course this monad does not live on , but rather on . But there is a natural bicategory which extends analogously to how extends , namely the bicategory of categories and profunctors. The “free symmetric strict monoidal category” monad does extend to a pseudomonad on , and symmetric multicategories can be identified with monads in the Kleisli bicategory of this such that is a discrete category.
While the bicategorical framework is very nice, it does not provide a good definition of the functors between generalized multicategories. From the explicit point of view, a functor between -multicategories should consist of morphisms
which respect the identity and structure maps. This reduces to the natural notion of functor in all the examples mentioned above. However, such morphisms cannot be identified with any of the usual notions of “morphisms of monads” in the bicategory . The closest thing there is would be a “colax morphism of monads,” but that would allow to be an arbitrary span rather than a morphism in .
We can remedy this problem if instead of the bicategory , we consider a pseudo double category whose horizontal bicategory is , and whose vertical arrows are the morphisms of . In particular, a square in this double category will be precisely a diagram of the above sort. Thus, if we define a monoid in a double category to be the same as monad in its horizontal bicategory, we can also define a monoid homomorphism in a double category to consist of a vertical arrow and a square respecting the multiplication and identities, in such a way that monoid homomorphisms in are precisely the correct functors of -multicategories mentioned above.
Thus, a better definition of -multicategory is “a monoid in the double category ,” since this definition recovers the correct morphisms immediately. And a better generalized definition, which works for symmetric multicategories as well (using the double category of categories, functors, and profunctors), is “a monoid in a Kleisli double category.”
When we try to make the notion of “Kleisli double category” precise, however, we run into some issues. We want the “Kleisli-ness” to happen horizontally, i.e. in the span/profunctor direction. However, in the examples, the monads in question live most naturally in in the 2-category of double categories, functors, and vertical natural transformations. For example, when is a monad on , its multiplication and unit transformations naturally induce vertical transformations and , where denotes the induced functor on . Similarly, for the “free symmetric strict monoidal category” monad on the double category , the unit and multiplication are naturally functors, i.e. vertical arrows, not profunctors.
However, in general, if all we know is that is a monad on a double category in the “vertical” sense, then there is no way to define a “horizontally Kleisli” double category of . The composite of horizontal arrows and in such a double category would have to be the composite , but in a double category there is no way to compose the horizontal arrow with the vertical arrow . Specifically, the problem is that while any (pseudo) double functor between pseudo double categories induces a (pseudo) 2-functor between horizontal bicategories, a vertical transformation does not necessarily induce a pseudonatural one.
There are two solutions to this problem, and it turns out that the best approach is to use them both. The first, and most obvious, is to generalize the way in which the monads in these two examples do, in fact, induce pseudomonads on the horizontal bicategory. Namely, in both of the double categories and , every vertical arrow gives rise to a horizontal arrow in a universal way. This construction, along with its dual, makes and into framed bicategories, or equivalently proarrow equipments.
Now in general, a vertical transformation between double categories that are proarrow equipments does not quite induce a pseudo natural transformation on horizonal bicategories, but only an oplax natural transformation. However, in the examples we have considered so far, the oplax transformations are in fact pseudo, and so there is a horizontally-Kleisli double category (which is easily seen to be, itself, a proarrow equipment).
From the double-category point of view, it seems unnatural to require that the unit and multiplication of the monad induce “horizontally pseudo” transformations; the vertical transformation of double categories is surely the more basic notion. Moreover, it is also unnatural to require the functor to be pseudo; there are interesting examples where is only a (horizontally) lax functor. Note that unlike the case for bicategories, there is a 2-category of double categories, lax functors, and vertical transformations, so we can talk about monads in such a 2-category.
However, at this level of generality, the horizontal Kleisli construction does not yield a double category. It does, however, yield a virtual double category. Moreover, it also suffices to take as input a monad on a virtual double category ; we write the result of this construction as . (Recall that for pseudo double categories regarded as virtual ones, functors of virtual double categories can be identified with lax functors of pseudo double categories.) Thus a natural and even more general notion of generalized multicategory is “a monoid in the horizontal-Kleisli virtual double category for some monad on a virtual double category;” we call such a thing a -monoid.
Note also that for any virtual double category , there is another virtual double category whose objects are monoids in , whose vertical arrows are monoid homomorphisms, and whose horizontal arrows are “bimodules.” Therefore, for any monad on a virtual double category , there is another virtual double category whose objects are -monoids, and whose vertical arrows are -monoid homomorphisms.
If has pullbacks and is a monad preserving pullbacks (no condition on and ), then induces a monad on the virtual double category (which is actually, of course, a pseudo double category) . The -monoids in are then precisely the -multicategories, as defined above.
The “free symmetric strict monoidal category” monad on can also be regarded as a monad on the virtual double category , and its -monoids on a discrete category are symmetric multicategories.
If we use instead the “free category with finite products” monad on the virtual double category , then -monoids on discrete categories can be identified with cartesian multicategories, which include a sub-collection equivalent to that of Lawvere theories.
More basically, we also have a “free strict monoidal category” monad on , whose -monoids on discrete categories are ordinary non-symmetric multicategories. Noting that , this is also , where is the “free monoid” monad on . In fact, quite generally for any monad on a virtual double category , we can identify -monoids in with -monoids in on “discrete objects.”
The ultrafilter monad on has a “canonical” extension to the virtual double category of sets, functions, and binary relations. Although is a pseudo double category and this monad is a strict functor, is only oplax. The -monoids in can be identified with topological spaces, by an observation originally due to Barr. In this context they are often referred to as relational β-modules, where is another name for .
Similarly, the powerset monad on extends to in a canonical way, and the -monoids in are closure space?s. Topological examples of this sort are sometimes called -algebras, where denotes a Set-monad like or , and a category (usually a quantale) of enrichment.
A blog post (of probably many; someone should find some others): Generalized Operads in Classical Algebraic Topology