Homotopy Type Theory Electronic Seminar
Posted by John Baez
What a great idea! A seminar on homotopy type theory, with talks by top experts, available to everyone with internet connection!
Dear all,
We are pleased to announce the start of the Homotopy Type Theory Electronic Seminar Talks, a series of online talks by the leading experts in Homotopy Type Theory. The Seminar is open to all, although knowledge of the main concepts of HoTT will be assumed.
The Seminar will meet on alternating Thursdays at 11:30 AM Eastern, starting on February 15. We will be using Zoom for the talks. Zoom is similar to Skype, and provides software for all common platforms and devices.
For more details, including schedule of talks and the information on how to attend the meetings, please see:
http://uwo.ca/math/faculty/kapulkin/seminars/hottest.html
The inaugural talks will be given by:
February 15 Peter LeFanu Lumsdaine (Stockholm University) Inverse diagram models of type theory
March 1 Emily Riehl (Johns Hopkins University) The synthetic theory of infinity-categories vs the synthetic theory of infinity-categories
March 15 Carlo Angiuli (Carnegie Mellon University) Computational semantics of Cartesian cubical type theory
We are looking forward to seeing you all there!
Best wishes, Dan Christensen and Chris Kapulkin
Re: Homotopy Type Theory Electronic Seminar
Is Emily Riehl’s talk supposed to be groupoids vs categories?