CMU HoTT Seminar Online: Shulman (part III)

44 views

Skip to first unread message

Steve Awodey

unread,

May 11, 2022, 7:34:26 AM5/11/22

to Homotopy Type Theory, categories net

Reminder: Part III, May 12

~~~~~~~~ CMU HoTT Seminar Online ~~~~~~~~

Mike Shulman (University of San Diego)
Towards Third-Generation HOTT

April 28, May 5, May 12
11:30am-1:00pm EDT (UTC-04:00)

Join Zoom Meeting
https://cmu.zoom.us/j/622894049
Meeting ID: 622 894 049
Passcode: Brunerie's number

Reply all

Reply to author

Forward

0 new messages