[Todos CMAT] A gentle introduction to Topoi in Logic.

[mguille en fing.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.

----- Forwarded message from Jonas Frey <jonas743 en gmail.com> -----
    Date: Thu, 18 Jul 2013 15:43:22 +0000
    From: Jonas Frey <jonas743 en gmail.com>
Subject: Re: abstract
      To: mguille en fing.edu.uy

> 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.
>
>

----- End forwarded message -----

------------ próxima parte ------------
An embedded message was scrubbed...
From: Jonas Frey <jonas743 en gmail.com>
Subject: Re: abstract
Date: Thu, 18 Jul 2013 15:43:22 +0000
Size: 3715
URL: <http://www.cmat.edu.uy/pipermail/todos/attachments/20130718/06124b82/attachment.mht>