{
  "path": "/mocgmd7hccahbz",
  "site": "at://did:plc:ngokl2gnmpbvuvrfckja3g7p/site.standard.publication/3mgnpkjomistd",
  "$type": "site.standard.document",
  "title": "category theory",
  "content": {
    "$type": "pub.leaflet.content",
    "pages": [
      {
        "id": "page:0",
        "$type": "pub.leaflet.pages.linearDocument",
        "blocks": [
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "firebird\nfrobenius algebra\nfunctors in haskell"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.blockquote",
              "plaintext": "Saunders Mac Lane, one of the founders of the field, actually argued that the concept of a monoid is the fundamental notion of category theory—seeing a category itself as a sort of \"generalized monoid\""
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "haskel"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "morphism\na category is just a list of morphisms\na morphism must compose and have an identity\nfunctions more struct than morphisms\na matrix is a morphism but not a function"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "natural transformations are morphisms in the category of Func functors\nnot to be confused with category Cat where categories are objects and functors are the morphisms"
            }
          }
        ]
      }
    ]
  },
  "updatedAt": "2026-04-24T05:18:17.693Z",
  "publishedAt": "2026-04-24T05:18:17.661Z"
}