[Todos CMAT] A gentle introduction to Topoi in Logic

[mauricio en cmat.edu.uy]

Estimados,

           El prof. Jonas Frey, invitado por el proyecto ANII de 
Realizabilidad, Categorias y Teoria de Juegos, dara una charla sobre Teoria 
de Topoi en Logica. La misma tendra lugar en el IMERL, el dia lunes 22 de 
julio a las 16 hs. Sala a confirmar. Si hay interesados, Frey podria dar 
una segunda charla para ir mas en profundidad sobre estos temas, que son de 
su especialidad. Estan todos calurosamente invitados!

           Abajo va el abstract de la charla. Cordiales saludos,

                          Mauricio GUILLERMO.

****************************************************************************
A gentle introduction to Topoi in Logic:
In my talk I will give an introduction to Grothendieck toposes in
categorical
logic. I will focus on the topos of sheaves on a topological space X, and
use it
as an example to explain the "internal logic" of a topos, including Bill
Lawvere's idea of "quantifiers as adjoints", and in which sense a topos is
a
"mathematical universe". If there is time, I also want to talk about the
constructions of Cauchy and Dedekind real numbers in a topos.
****************************************************************************