### 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?