Things and Cothings
summary
A rapid, comic inventory of English words prefixed with "co" built as a picture quiz slide deck that deliberately treats category theory jargon as wordplay rather than formal maths. Slides contain roughly thirty to fifty pictured prompts collected beforehand and assembled the same day, and the audience names many answers correctly — examples shown include coend, comedian (as co-median), coaxes and copious. The claim is that co- yields a rich set of usable programming metaphors; the format works live.
AI-written summary · about
chapters (7)
- 0:00Introduction
- 3:00Meet Paul Phillips
- 6:56Naming things matters
- 8:24Things and cothings in category theory
- 12:55New words for software
- 16:36Exploring co-things
- 28:31Q&A
