Looks like a category theory book. And they're right: using A to notate the identity arrow is ridiculous.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Looks like a category theory book. And they're right: using A to notate the identity arrow is ridiculous.