• expr@piefed.social
    link
    fedilink
    English
    arrow-up
    24
    ·
    15 days ago

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