![]() | ||
9 – 930 |
Victor Harnik A monadic functor from ω-categories into computads | M320 |
![]() | ||
940 – 1010 |
Michael Makkai | M320 |
![]() | ||
1020 – 1050 | Marek Zawadowski Opetopic sets and lax monoidal fibrations |
M320 |
Tea | ||
![]() | ||
1130 – 1230 |
Michel Hébert Finitely presentable morphisms in exact sequences | M320 |
Lunch |