4. Groups and categories ぱらぱらめくる『Category Theory』by Steve Awodey

  • Groups in a category
    • 群では、→が群の中で回っている(automorphism)
  • The category of groups
    • 群同士をArrowでつないだcategory
  • Groups as categories
    • 群はcategoryでもあるので、群同士のつなぎ方にはcategoryからcategoryへというつなぎ方もあって、それはfunctor