Skip to main content

Search

Items tagged with: hottest


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