• [object Object]@lemmy.ca
    link
    fedilink
    English
    arrow-up
    22
    ·
    11 days ago

    This is either in a category theory book or was written by someone who is going to fucking hate category theory

    • 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.