|
9.00-9.30
|
Registration / Opening
|
|
9.30-10.30
|
F.W. Lawvere, A strong Nullstellensatz for Euler continua in a cohesive topos
|
|
10.30-11.00
|
Tom Leinster, Jónsson–Tarski toposes
|
|
11.00-11.30
|
Coffee Break
|
|
11.30-12.00
|
Jonathon Funk, F-inverse semigroups and toposes
|
|
12.00-12.30
|
Robert Walters, Calculating limits and colimits compositionally
|
|
12.30-13.00
|
Jiří Adámek, Iteration theories as monadic algebras
|
|
13.00-14.30
|
Lunch
|
|
14.30-15.00
|
Michael Makkai, Computads and weak higher dimensional categories
|
|
15.00-15.30
|
Oleksandr Manzyuk, Closed multicategory of A-infinity categories
|
|
15.30-16.00
|
Michel Hébert, Orthogonality and injectivity logics for proper classes of
morphisms
|
|
16.00-16.30
|
Coffee Break
|
|
16.30-17.00
|
Claudio Pisani, Category theory in a (E,M)-category
|
|
17.00-17.30
|
Walter Tholen, Topology for V-categories and (T,V)-categories
|
|
|
