Groups as categories
A group is equivalent to a single-object groupoid. Adopting this viewpoint
- A group homomorphism is a functor of groups-as-categories
- The direct product of groups is the product category of groups-as-categories
#state/develop | #lang/en | #SemBr