Skip to main content

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 https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html 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
#hott #hottest @Emily Riehl @users/carloangiuli @users/carloangiuli

On this week's #blog , a bit late as I work around the start of teaching this semester, I write about the fascinating PhD thesis, 'On the homotopy groups of spheres in homotopy type theory' https://updatedscholar.blogspot.com/2023/02/discussing-on-homotopy-groups-of.html #Hott #TypeTheory #Homotopy

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
#blog #typetheory #hott #homotopy

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.

# #

https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html

HoTTEST Summer School 2022

Western University, in vibrant London, Ontario, delivers an academic and student experience second to none.
uwo.ca
#typetheory #hott

⇧