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