#EHTT #HoTT Summer school on higher topos theory and univalent foundations Leeds June 2019

https://conferences.leeds.ac.uk/httuf/

Quand je vous disais que c’est le nouveau Far West.. HTTUF univalent foundations c’est JoTT .. HTT c’est(elementary ) higher topos theory .
Je crois que je vais aller y faire un tour, ce sera toujours mieux que Paris, cette ville où l’on risque toujours de se faire insulter et agresser .. HTTUF c’est mieux, c’est l’esprit humain à la recherche de lui même , de l’Esprit universel..

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, homotopy type theory. Bookmark the permalink.