[Todos CMAT] Fwd: Charla: A gentle introduction to Topoi in Logic
mguille en fing.edu.uy
mguille en fing.edu.uy
Lun Jul 22 12:43:36 UYT 2013
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>
Más información sobre la lista de distribución Todos