[FRIAM] Grothendieck toposes and their role in Mathematics

[Frank Wimberly]

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 <jonzingale at gmail.com> 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/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20200709/d4665680/attachment.html>