Comment on Oh ok Simmons
expr@piefed.social 3 months agoLooks like a category theory book. And they’re right: using A to notate the identity arrow is ridiculous.
Comment on Oh ok Simmons
expr@piefed.social 3 months agoLooks like a category theory book. And they’re right: using A to notate the identity arrow is ridiculous.