How can one define the chain homotopy in non-abelian category? (The category I have in mind is the category of chain complexes of monoids.)
$\begingroup$
$\endgroup$
4
-
$\begingroup$ The notion of chain homotopy is induced by an "algebraic" interval, namely the chain complex corresponding to the simplicial complex $\Delta^1$. I don't see how to build that chain complex without using subtraction. $\endgroup$– Zhen LinCommented Apr 18, 2014 at 16:26
-
3$\begingroup$ Replace it with simplicial homotopy of maps between simplicial objects. (There's no reason, from the perspective of homotopical algebra, to work in the category of chain complexes of monoids, as the Dold-Kan theorem fails in this setting.) $\endgroup$– Qiaochu YuanCommented Apr 18, 2014 at 17:26
-
$\begingroup$ For commutative simplicial monoids one may add up separately odd-numbered and even-numbered face operators to obtain a globular structure (something like chain complex with parallel pairs of boundary operators). See e. g. this paper. I don't know if something similar can be done in the noncommutative case... $\endgroup$– მამუკა ჯიბლაძეCommented Apr 18, 2014 at 18:59
-
$\begingroup$ This mathoverflow thread might be useful: mathoverflow.net/questions/430/… $\endgroup$– David WhiteCommented Apr 18, 2014 at 19:25
Add a comment
|