{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreih5k7wcv7wucqc3ose4e5eylvq7kfquc2ncs47ap7jjwqudn7uzbm",
    "uri": "at://did:plc:wstmqaj4lkherb74rpiv3dhj/app.bsky.feed.post/3mn7u6fvndvo2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreibddzxwnuhdbtebilgkpl46ulwaafvgre627xwen2t2yocxmx5xve"
    },
    "mimeType": "image/jpeg",
    "size": 162899
  },
  "path": "/philip-wadler/",
  "publishedAt": "2026-06-01T03:00:01.000Z",
  "site": "https://deprogrammaticaipsum.com",
  "tags": [
    "“Categories for the Working Mathematician”",
    "Saunders Mac Lane",
    "memes",
    "Philip Wadler"
  ],
  "textContent": "On page 138 of the second edition of his 1971 book, “Categories for the Working Mathematician”, American mathematician Saunders Mac Lane inadvertently coined one of the most famous memes ever made around programming. It is there, precisely there, and not anywhere else, where the phrase _“a monad in X is just a monoid in the category of endofunctors”_ was published for the first time. As is often the case, the true origin of the meme got lost in collective memory, and it ended up being falsely attributed to Philip Wadler, although, in hindsight and all things considered, it was an understandable oversight.",
  "title": "Philip Wadler"
}