Comment on Oh ok Simmons
panda_abyss@lemmy.ca 1 week 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 1 week 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 1 week ago
Looks like a category theory book. And they’re right: using
Ato notate the identity arrow is ridiculous.