Did you realize that Lawvere doesn't define the term "topos" until page 352?
Frank --- Frank C. Wimberly 140 Calle Ojo Feliz, Santa Fe, NM 87505 505 670-9918 Santa Fe, NM On Thu, Jul 9, 2020, 10:08 AM Jon Zingale <[email protected]> wrote: > 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/ > > - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . > FRIAM Applied Complexity Group listserv > Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam > un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com > archives: http://friam.471366.n2.nabble.com/ > FRIAM-COMIC http://friam-comic.blogspot.com/ >
- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/
