Throughout this work, we will be working over a category with some baseline assumptions:
is complete, cocomplete, and cartesian closed, and preserves coproducts;
There is given a connected object of equipped with an internal meet-semilattice structure and a bottom element . will be called “the interval” of .
(Here “connected” means that the exponential functor preserves coproducts.) We also assume, although it is not critical to the development of the theory and is included just for the sake of convenience, that
is an equivalence for any small collection of objects .
For all intents and purposes, the reader may assume that is a nice category of topological spaces, such as the category of compactly generated Hausdorff spaces.
The functor has a left adjoint which takes a set to the coproduct of an -indexed collection of copies of , , which may be thought of as a discrete space. The resulting comonad takes an object to , and this will be denoted as (“ retopologized with the discrete topology”).
Let
be the free monoid monad on , with monad multiplication and monad unit . The monad is cartesian, and we define a substitution product (a monoidal product on the slice ) on objects , of to be the pullback
where the top horizontal composite exhibits as an object of . This extends naturally to a monoidal product on ; the monoidal unit here is provided by , the unit of the monad . A (nonpermutative) operad in is by definition a monoid in : an object of together with a pair of maps
satisfying monoid axioms.
An easy but useful result is
Lemma 0: The monoidal product
preserves pullbacks.
For our next results, recall that a reflexive pair in a category is a pair of parallel maps that have a common right inverse :
We call a coequalizer of a reflexive pair a reflexive coequalizer for short.
Lemma 1: preserves reflexive coequalizers.
Proof: This is generally true for finitary monads on suitable (such as the topos of globular sets; cf. Batanin’s theory of -categories); a proof for is outlined as follows. If products distribute over colimits and over reflexive coequalizers in particular, then by a famous lemma (see Johnstone’s Topos Theory, page 1)
also preserves reflexive coequalizers, and it follows by induction that the cartesian power preserves reflexive coequalizers. Hence
preserves reflexive coequalizers, as does
since left adjoints preserve all colimits, and the result follows.
Theorem 0: The functor preserves colimits.
Proof: Because is -extensive, we have an identification
so that we can think of as the category of graded -objects. Also by -extensivity, the pullback functor
is equivalent to a product of functors
each of which is colimit-preserving, so the pullback preserves colimits. The pushforward
being a left adjoint, also preserves colimits. The result follows.
Lemma 2: The monoidal product
preserves reflexive coequalizers. Thus the bifunctor preserves reflexive coequalizers in each of its two separate arguments.
Proof: As is the case for general colimits, reflexive coequalizers are computed in as they are in . By lemma 1, preserves reflexive coequalizers. Thus, given a coequalizer diagram (for a reflexive pair)
in , we get a corresponding coequalizer diagram
in . Taking advantage of -extensivity as before, we see that when we pull back this diagram along a map , we again get a coequalizer diagram
(in the category ), and pushing forward along
this coequalizer is again preserved, completing the proof.
Now we come to the key concept of this section. Let , be operads in .
Definition: A left right bimodule is an object of together with
We write to indicate such a bimodule; this should suggest that a bicategory whose objects are operads and whose 1-cells are bimodules is in the offing.
Lemma 2 makes this a routine matter. If is a right -module and is a left -module, then we can form a “tensor product” as the coequalizer of the diagram
The parallel pair here is reflexive (consider ). Thus, by lemma 2, for any object of , the functor preserves tensor products: the canonical map
is an isomorphism. In particular, if carries an operad structure, then by the usual universality arguments, it follows that for a left right bimodule and a left -module, the object carries a canonical left -module structure.
Similarly, given bimodules and , the object becomes a bimodule , and this defines bimodule composition. The identity is as a bimodule over itself. With the structure thus sketched, we have in summary
Theorem 1: Operads in , bimodules, and bimodule homomorphisms form a bicategory.
Notice incidentally that the monoidal unit for the monoidal product is an operad, and that a left -module is the same thing as a bimodule , and similarly that a right -module is a bimodule .
A left right bimodule is called simply an -bimodule. Thus -bimodules form a monoidal category (or a bicategory with just one object ).
Remark: Since the category is complete, has a right adjoint given by the formula
However, is very far from colimit-preserving, so becomes in this way closed monoidal only on one side. Similarly, at the level of bimodules, functors of the form have right adjoints (in the parlance, right Kan lifts through exist in the bicategory of bimodules), but there will be no corresponding right adjoints to composing on the other side, or right Kan extensions, in general.
Remark: An operad morphism does give rise to a bimodule whose underlying object is , with left -action given by the composite
and right -action given by . (Question of whether has a right adjoint given by the right Kan lift , and whether all left adjoints come from operad maps, etc. Generalizations to multicategories, etc.)
We next introduce objects which carry structures bearing witness to their “contractibility” in some sense of that word, based on the presence of an interval object. At some ultimate stage of the theory, it should be sufficient to assume has a model category structure, as for example on (simplicial sets) or on , and work with an interval object in the sense of model categories. However, in this work we take a thoroughly algebraic (or equational) approach, for which model categories will not be precisely appropriate. So instead we work with a relatively strong algebraic notion of contractibility, or more to the point algebraic notions of contraction and of acyclic models.
Recall our baseline assumption that our interval object is a connected meet-semilattice with bottom element , which we regard as a monoid whose multiplication is the meet operation. In there is a corresponding constant interval , denoted .
Because is a connected monoid, there is a structure of limit-preserving and coproduct-preserving comonad on the functor . The discrete space functor
also carries a structure of limit-preserving and coproduct-preserving comonad, as does the identity functor . The functor defined by pullback
is also limit-preserving and coproduct-preserving. It has a comonad structure whose counit is exhibited as the top horizontal composite, and whose comultiplication comes via restriction of the comultiplication on the comonad . We call the path comonad. It plays a role analogous to the decalage functor on simplicial objects.
Definition: An acyclic structure on an object is a -coalgebra structure on .
We also have a path comonad defined componentwise on the category , also limit-preserving and coproduct preserving, and a corresponding notion of acyclic structure on .
In some cases, the comonad admits a left adjoint , which then automatically carries a monad structure such that the category of -algebras is equivalent to the category of -coalgebras (by a classical result of Eilenberg-Moore), and in that case it may be easier to comprehend acyclic structures in terms of -algebras. Thus, suppose that the discretization functor
has a left adjoint ; this occurs for instance in the case where is the category of simplicial sets. Then the left adjoint of is constructed objectwise as the pushout
so that is, intuitively, the coproduct of all the cones of path components of . A -algebra structure would pick out a basepoint in each path component of , and give an action of the monoid ,
such that contracts each path component of down to its basepoint. In this way a -algebra structure on witnesses the acyclicity of . But we don’t need the monad : more generally, a -coalgebra structure on does exactly the same thing.
Theorem 2: The comonad is strong monoidal with respect to the monoidal product . That is, the underlying functor is strong monoidal, and the counit and comultiplication are monoidal transformations.
Proof: It may help to represent as graded objects , where the substitution product is given explicitly by the formula
The exponential functor preserves both sums (because is connected) and products, so it preserves the formula above, i.e., there is a canonical isomorphism
Similar observations hold for the identity functor and the functor . Then, applying lemma 0, we conclude that there is a canonical isomorphism
exhibiting as a strong monoidal functor. The fact that the counit and comultiplication are monoidal natural transformations is routine and left to the reader.
Corollary: If and are -coalgebras, then carries a natural -coalgebra structure.