The free simplicial abelian group functor
from SimplicialSets to SimplicialAbelianGroups is given by the functor
where the middle functor applies the free abelian group functor
(free simplicial abelian group-adjunction)
There is a pair of adjoint functors (a free$\dashv$forgetful-adjunction)
between SimplicialAbelianGroups and SimplicialSets, where
the left adjoint is the free simplicial abelian group-functor;
the right adjoint is the functor that assigns underlying simplicial sets.
This is a Quillen adjunction with respect to the classical model structure on simplicial sets and the projective model structure on simplicial abelian groups.
Free simplicial abelian groups are the crucial ingredient of simplicial chains and simplicial cochains, and such also simplicial homology and simplicial cohomology?, in particular, singular homology and singular cohomology. See these articles for more information.
Last revised on July 12, 2021 at 17:35:57. See the history of this page for a list of all contributions to it.