Looks like a category theory book. And they’re right: using A to notate the identity arrow is ridiculous.
- 0 Posts
- 2 Comments
Joined 9 months ago
Cake day: September 15th, 2025
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Traditionally, the
globalflag is used to mean global within a line, meaning all matches in a line.