I don't know if I have a favourite either, but here's another one:
crossed modules in $Grp$ are strict 2-groups aka group objects in $Cat$ aka category objects in $Grp$.
David Roberts ♦
- 35.5k
- 11
- 124
- 349