Bohemian L&P Café: Michael Makkai, Feb. 2

16 views

Skip to first unread message

unread,

Jan 27, 2021, 12:14:37 PM1/27/21

to Homotopy Type Theory

Bohemian Logical & Philosophical Café

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

RESCHEDULED

February 2 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