Skip to main content
Post Made Community Wiki
Source Link
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

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$.