UNAM

A model of bidirectional eulerian reals

Ponente: Matías Menni
Institución: CONICET y Universidad de la Plata
Cuándo 22/04/2014
de 17:00 a 18:30
Dónde Sala 2 del Nuevo Edificio IMATE
Agregar evento al calendario vCal
iCal

We build a pre-cohesive topos p:E--->Set together with an object T of E with the property that it has a unique point and such that: the induced object R of Euler reals [1] is connected and its subgroup U--->R of invertible elements satisfies that p_!U is the cyclic group of order 2. 

 

[1] F.W. Lawvere. Euler's continuum functorially vindicated. In ``Logic, Mathematics, Philosophy: Vintage Enthusiasms'', volume 75 of the ``Western Ontario Series in Philosophy of Science'', pages 249-254. Springer Science+Bussiness Media B.V., 2011.

archivado en: