Jason (jcreed) wrote,

Baez's Week 116 is blowing my mind just a little bit, being that I now sort of get that all three of the following categories are equivalent:
* The category of abelian group objects in the category SetsΔop of simplicial sets
* The category AbΔop of "simplicial abelian groups"
* The category of chain complexes
where Δ can be taken to be the category of all finite total orders, with (not strictly) monotone maps as morphisms. The major thing I didn't know was that chain complexes aren't just related to these other things, they're basically the same thing. Category theory, why you so crazy?
Tags: math

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded