Comment on Oh ok Simmons
expr@piefed.social 2 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 2 months agoLooks like a category theory book. And they’re right: using A to notate the identity arrow is ridiculous.