• expr@piefed.social
    link
    fedilink
    English
    arrow-up
    23
    ·
    11 days ago

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