Topoi 3: The definition of a topos
Channel: Nikolaj-K
Date: 28/09/2020

This is video number 3 in the series defining topoi. Here's the updated text used in the video: https://gist.github.com/Nikolaj-K/469b9ca1c085ea4ac4e3d7d0008913f5
Fourth video on Power and Negation in a topos:
https://youtu.be/dvXRQI8RonY