Topos à l'IHES

Session

friday

Nov 27, 2015, 9:30 AM

Salle de Conférences Marilyn et James Simons (Le Bois-Marie)

21. Thierry COQUAND

11/27/15, 10:00 AM

Logic and topology

22. Urs SCHREIBER

11/27/15, 11:15 AM

Synthetic prequantum field theory in a cohesive homotopy topos

23. Jean BÉNABOU

11/27/15, 2:00 PM

Very, almost, and so on, ... (when fragments of the language find their way into Topos Theory)

24. General discussion

11/27/15, 3:15 PM