#Beer !math #sunshine what more could one want. Just going over some basic bits I skimmed the other day, whilst thinking about an abstract group as category of a single object.
It doesn't matter what the destination group is because of a natural transformation.
https://indy.im/attachment/21118