CMU HoTT Seminar Online: Shulman (part III)
瀏覽次數：44 次
跳到第一則未讀訊息
Steve Awodey
2022年5月11日 清晨7:34:262022/5/11
收件者：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
~~~~~~~~ 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
回覆所有人
回覆作者
轉寄
0 則新訊息