Bohemian L&P Café: Michael Makkai, January 26

20 views

Skip to first unread message

unread,

Jan 25, 2021, 10:35:27 AM1/25/21

to Homotopy Type Theory

Bohemian Logical & Philosophical Café

Michael Makkai
Notions of identity for and in higher dimensional categories.

January 26 at 16.00 Prague time (GMT+1)

The zoom link is on the webpage:

Makkai’s abstract is at this link:

Regards,

Steve

Reply all

Reply to author

Forward

0 new messages