[FRIAM] Grothendieck toposes and their role in Mathematics

[Jon Zingale]

A pretty good lecture on *classifying toposes* and their role in mathematics.
Olivia Caramello discusses how toposes came to be studied, how they came to
be understood as providing a *semantic core* for a mathematical theory, and
how they provide a suitably general context for studying the symmetries
(invariants) of a given theory.

https://www.youtube.com/watch?v=8xWZpec9pwM



--
Sent from: http://friam.471366.n2.nabble.com/