What we covered
- Pullbacks
- Every bijective map to the booleans is one-to-one with an upper set
- Worked through the concrete instance
Next time
Catch-up session to revisit Chapter 1.
Meeting 6: Pullbacks and upper sets
Pullbacks. Every bijective map to the booleans is one-to-one with an upper set.