Comment on Oh ok Simmons
panda_abyss@lemmy.ca 2 months ago
This is either in a category theory book or was written by someone who is going to fucking hate category theory
Comment on Oh ok Simmons
panda_abyss@lemmy.ca 2 months ago
This is either in a category theory book or was written by someone who is going to fucking hate category theory
expr@piefed.social 2 months ago
Looks like a category theory book. And they’re right: using
Ato notate the identity arrow is ridiculous.