[EstudiantesMatemática] Fw: A gentle introduction to Topoi in Logic.

[Bruno Stonek]

Inicio del mensaje redirigido:

Fecha: Thu, 18 Jul 2013 13:02:49 -0300
Desde: mguille en fing.edu.uy
Para: todos_imerl en fing.edu.uy, todos en cmat.edu.uy, wrferrer en cmat.edu.uy,
estudiantes en cmat.edu.uy Asunto: [Todos CMAT] A gentle introduction to
Topoi in Logic.


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/listaestudiantes/attachments/20130718/9dc8f94a/attachment.mht>
------------ próxima parte ------------
_______________________________________________
Lista Todos CMAT
Todos en cmat.edu.uy
http://www.cmat.edu.uy/cgi-bin/mailman/listinfo/todos