Search
Items tagged with: hott
This week the #HoTTEST seminar presents:
Ingo Blechschmidt
Towards multiversal modal operators for homotopy type theory
The talk is 11:30am-12:30pm *EST* (UTC-5) on Thursday, November 30 and will be followed by discussion. See uwo.ca/math/faculty/kapulkin/s… for the Zoom link, the abstract, and a list of all upcoming talks.
All are welcome!
#HoTT @carloangiuli@twtr.plus @carloangiuli@birdsite.wilde.cloud @emilyriehl
Homotopy Type Theory Electronic Seminar Talks
Western University, in vibrant London, Ontario, delivers an academic and student experience second to none.www.uwo.ca
Discussing 'On the homotopy groups of spheres in homotopy type theory'
(Link) Author: Guillaume Brunerie (Université Nice-Sophia-Antipolis) Reference: Brunerie, Guillame. “On the homotopy groups of spheres in ...updatedscholar.blogspot.com
I am excited for this Homotopy Type theory online learning.
The HoTTEST Summer School 2022 will take place online everywhere in the world during the months of July and August 2022.
uwo.ca/math/faculty/kapulkin/s…
HoTTEST Summer School 2022
Western University, in vibrant London, Ontario, delivers an academic and student experience second to none.uwo.ca