A model of bidirectional eulerian reals
Ponente: Matías Menni
Institución: CONICET y Universidad de la Plata
Institución: CONICET y Universidad de la Plata
When |
Apr 22, 2014
from 05:00 PM to 06:30 PM |
---|---|
Where | Sala 2 del Nuevo Edificio IMATE |
Add event to calendar |
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.