slides for logic of toposes (part 2)

[juan_gandhi]

I started talking about topos logic at BACAT, so here are slides, which are, mostly, just a plan of my next talk. References: Johnstone, TT.

https://docs.google.com/presentation/d/1ifVHKj7Nrr_moL1HlGN4c6NzyWNaJjljxbf57AthUOg/edit?usp=sharing

(sorry, sharing was not set properly; fixed)