symmetric monoidal (∞,1)-category of spectra
In the most familiar sense, a coalgebra is just like an associative algebra, but with all the structure maps ‘turned around’. More precisely, fix a ground field . An algebra is a vector space equipped with a multiplication
and a unit
satisfying the associative law and left/right unit laws, which can be drawn as commutative diagrams. Similarly, a coalgebra is a vector space equipped with a comultiplication
and a counit
satisfying the coassociative and left/right counit laws. The commutative diagrams for these laws are obtained by taking the diagrams for the associative and left/right unit laws and turning all the arrows around.
We can express this idea much more efficiently using the concept of the opposite of a category, together with internalization. Namely: a coalgebra is a monoid in the , just as an algebra is a monoid in .
a general coassociative coalgebra is a coalgebra over a comonad, dual to the concept of an algebra over a monad.
For a commutative ring, if the endofunction is given by , then -coalgebras are precisely non-coassociative coalgebras in the specific sense of non-associative monoids in . (See Tom Leinster’s comment here).
These are explored briefly in the lexicon style entry differential graded coalgebra. (At present this is ‘bare bones’ with little or no motivation or discussion.)
These, in most cases, form a complete cocomplete Cartesian Closed Category, over which the category, , of commutative associative algebras is enriched, tensored and cotensored. The exegesis is much the same whether we consider coalgebras over a field , or graded -coalgebras, or differential graded coalgebras, etc. In each case we need a notion of finiteness: finite -dimension of the underlying -vector space, finite dimension in each grade, etc. We denote by the category of (commutative associative) algebras that are finite.
The basic fact is that a coalgebra is the filtered colimit of its finite dimensional subcoalgebras. It follows from this that we can identify with the category of finite-limit-preserving -valued functors on . This is because every such functor is a filtered colimit of representable functors, and for any finite algebra its -vector-space dual is a finite coalgebra.
The product of coalgebras and is given by . The exponential is given by the functor taking to . Note that has the structure of a cocommutative coassociative Hopf algebra.
For and in we define in to be given by the functor taking to .
For and we denote by the algebra with -algebra structure induced by the coalgebra structure of . We denote by the quotient of the free -algebra on by the ideal generated by elements of the form
where is the counit of and is the diagonal of in .
The tensored, cotensored enrichment of over can be extended to the case of commutative associative -algebras in a topos. It is a consequence of work by N.J.Kuhn, Generic representations of the Finite General Linear groups and the Steenrod Algebra, that the mod 2 Steenrod algebra is the Hopf algebra where is the free graded symmetric -algebra on the generic -vectorspace. Similar considerations apply to the mod p Steenrod algebra.
Recall that the mod 2 Steenrod Hopf algebra is the dual of the commutative Hopf algebra with generators with diagonal taking to
where . Its action on is dual to the coaction taking a vector to
Every coalgebra is the filtered colimit of its finite-dimensional sub-coalgebras.
A proof is in