you are viewing a single comment's thread
view the rest of the comments
[–] 24 points 4 months ago

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

  • source
  • parent