Math and science::Algebra::Aluffi
Category of Groups
There is a meaningful way to define a category with groups as objects and with morphisms being set functions between the underlying sets of two groups.
Category
The category
The group structure is preserved iff:
[ ]
Can you remember a visualization for the preservation of group structure?