[Todos CMAT] Fwd: Charla: A gentle introduction to Topoi in Logic

[mguille en fing.edu.uy]

Estimados,

             La charla sera en la sala 002 de la Facultad de  
Ingenieria --esto es, al final del pasillo largo que ca al Instituto  
de Electrica. Sera a las 16 hs, como fue anunciado oportunamente.

             Cordiales saludos,

                                   MAURICIO.

PS: Walter, Matilde: no logro evitar la moderacion del servidor del  
cmat. Podrian reenviarlo a todos en cmat? Muchisimas gracias!!

----- Forwarded message from María Fernanda Pallares  
<pallaresmf en gmail.com> -----
    Date: Mon, 22 Jul 2013 09:07:47 -0300
    From: María Fernanda Pallares <pallaresmf en gmail.com>
Subject: Charla: A gentle introduction to Topoi in Logic
      To: María Fernanda Pallares <pallaresmf en gmail.com>

El Prof. Jonas Frey, invitado por el proyecto ANII de *Realizabilidad,
Categorias y Teoria de Juegos*, brindará una charla sobre *Teoria de Topoi
en Logica*. La misma tendra lugar en el IMERL (Facultad de Ingeniería), el
día lunes 22 de julio a las 16 hs. Sala a confirmar.


  *A gentle introduction to Topoi in Logic *

*Abstract.** 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: =?ISO-8859-1?Q?Mar=EDa_Fernanda_Pallares?= <pallaresmf en gmail.com>
Subject: Charla: A gentle introduction to Topoi in Logic
Date: Mon, 22 Jul 2013 09:07:47 -0300
Size: 5286
URL: <http://www.cmat.edu.uy/pipermail/todos/attachments/20130722/e8b08597/attachment.mht>