April 6: Omar Antolín Camarena, HoTT lessons for algebraic topologists
EMILY RIEHL
The HoTTEST seminar continues this Thursday at the usual (summer) time, 11:30am EDT = 15:30 UTC.
Our speaker is Omar Antolín Camarena, who's talk is titled "HoTT lessons for algebraic topologists".
The talk will be 60 minutes long, followed by
up to 30 minutes for questions. The abstract is below.
The Zoom link is https://zoom.us/j/994874377
Further information, including the list of upcoming speakers, and videos and slides from past talks, is at:
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
Emily
(On behalf of the HoTTEST organizers: Carlo Angiuli, Dan Christensen, Chris Kapulkin, and Emily Riehl.)
Abstract: While one can use HoTT to talk about topics in the traditional algebraic topology of spaces, the difference in language and culture leads people using HoTT to prefer some styles of argument that are less common in traditional algebraic topology. There are some habits of thought I think algebraic topologists can profitably adopt from HoTT and in this talk I'll present examples, chief among them, the willingness to pass freely from a type family to its dependent sum and back. This talk will be more philosophical than technical and is mostly intended as bait, to get experts in HoTT to teach me (decidedly a non-export!) more tricks I can profitably steal.