Spyke
lemmy.ca

This is either in a category theory book or was written by someone who is going to fucking hate category theory

23

Looks like a category theory book. And they're right: using A to notate the identity arrow is ridiculous.

22

Ah category theory. You know i honestly think the only reason it’s so difficult to learn is not the idea but the jargon/notation-conventions

9

You reached the end