Meeting Log
A record of our reading club meetings, what we covered, and any notes or exercises discussed.
- Meeting 7: Monoidal preorders and string diagrams6 May 2026First Chapter 2 meeting. Monoidal preorders and string diagrams. How different axioms give different kinds of scenarios.
- Catch-up session29 April 2026Extra mid-week catch-up. Same material as Meeting 6.
- Meeting 6: Pullbacks and upper sets22 April 2026Pullbacks. Every bijective map to the booleans is one-to-one with an upper set.
- Meeting 5: Upper sets, Yoneda for pre-orders8 April 2026Continuing Seven Sketches Ch 1. Upper sets. Yoneda lemma for pre-orders.
- Meeting 4: Seven Sketches Ch 1, warming up25 March 2026First Seven Sketches meeting. Working through the first few exercises. Hasse diagrams. Every pre-order is a directed graph.
- Meeting 3: Fundamental property of monoids, and a book switch11 March 2026Proved the fundamental property of monoids. Awodey was too challenging for our experience level, so we switched to Seven Sketches in Compositionality.
- Meeting 2: Awodey Ch 1 exercises25 February 2026More Awodey Ch 1 exercises. Working towards the fundamental property of monoids.
- Meeting 1: Introduction & Chapter 111 February 2026Kick off meeting. Introductions, overview of the book, and Chapter 1 — Categories.
- Meeting 0: Introduction28 January 2025Last minute kick-the-tires inaugral meeting.