[FRIAM] Grothendieck toposes and their role in Mathematics

[Jon Zingale]

Ha, yeah. They spend much of the book developing categories that are
simultaneously rich enough to be topos-theoretically interesting and simple
enough to reason about their properties/consequences. Recently, another
friam member got me thinking about locales[Ɏ], the toy categories presented
by Lawvere and Schanuel have been helpful to me in reasoning about them.

[Ɏ] From https://ncatlab.org/nlab/show/locale: A locale is, intuitively,
like a topological space that may or may not have enough points (or even any
points at all).



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