UNAM

A model of bidirectional eulerian reals

Ponente: Matías Menni
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.