Topoi 1: Predicates vs. subsets
Channel: Nikolaj-K
Date: 2020-09-02

Topos, topoi, toposes.
This is the warmup video for the discussion of the Subobject Classifier in a category of sets, in the next video. The document used can be found here: https://gist.github.com/Nikolaj-K/469b9ca1c085ea4ac4e3d7d0008913f5
Typo: In minute 42, the membership relation on should be defined with "y in Z" instead of "y in X".
Next video on topoi:
https://youtu.be/uqBhy1c4MZc
Follow-up video after this, here:
https://youtu.be/uqBhy1c4MZc