symmetric monoidal (∞,1)-category of spectra
Let be the strict 2-category Cat and a category in . Then we can identify a monad on with an endofunctor which is a monoid in . We recall that for any object of , we obtain a certain sort of resolution of . Note that the canonical resolution is not a resolution in the sense of the above cited nLab page because it is not necessarily acyclic or contractible in the relevant sense. In other words, it does not always have trivial cohomology, especially since our category may not even be equipped with such a notion.
The canonical resolution of in with respect to a monad is a coaugmented cosimplicial object such that and for each . It has coface? morphisms given by the unit map of , and codegeneracies given by the monoid structure .
Given a suitable functor , for an additive category, we can define the monadic cohomology of an object to be the cohomology of the cochain complex associated to the composition of functors This has been introduced by Godement who called monad and the resolution from it the standard construction (thus, standard resolution is a term which is still used). By suitably dualizing, we can define comonadic homology.
Suppose that is an object of and also an algebra for . Thus there is a morphism satisfying certain properties. In particular, this map provides an extra codegeneracy which defines an augmented simplicial object living inside of the canonical resolution of . This simplicial object is frequently referred to as the bar construction of .
Note that we can consider this internal bar construction to also be the canonical resolution associated to the induced comonad on the Eilenberg-Moore category of algebras over .
This bar construction can also be obtained by precomposing with the functor that includes as the subcategory whose morphisms preserve the minimal and maximal elements of finite totally ordered sets.
There is a monad on Set, the category of sets, comprising the free abelian group functor and the forgetful functor . The category of algebras of this monad is precisely the category of abelian groups (in other words, the free abelian group functor is monadic).
Thus we may produce the cosimplicial canonical resolution of any set . If supports (at least one) abelian group structure, then we can add a codegeneracy to the canonical resolution which defines the usual bar construction on with that particular abelian group structure.
The original source is
The theory is explained in many sources including
and in Jack Duskin’s monograph:
A textbook account is in
Last revised on November 6, 2021 at 12:39:16. See the history of this page for a list of all contributions to it.