|
9.00-10.00
|
Bob Coecke, Quantum physics as it is practised in the lab
|
|
10.00-10.30
|
Pedro Resende, Quantale-valued sets, quantale modules, and groupoid
actions
|
|
10.30-11.00
|
Richard Wood, Cartesian bicategories as symmetric monoidal bicategories
|
|
11.00-11.30
|
Coffee Break
|
|
11.30-12.00
|
Dominic Verity, Weak complicial sets and internal quasi-categories
|
|
12.00-12.30
|
Matias Menni, Läuchli’s completeness theorem
from a topos-theoretic perspective
|
|
12.30-13.00
|
Eduardo J. Dubuc, 2-Proobjects
|
|
13.00-14.30
|
Lunch
|
|
14.30-15.00
|
Marta Bunge, Branched coverings of quasi locally connected toposes
|
|
15.00-15.30
|
Francisco Marmolejo, Constructively completely distributive lattices in presheaf
categories
|
|
15.30-16.00
|
Anders Kock, Some recent advances in Synthetic Differential Geometry
|
|
16.00-16.30
|
Coffee Break
|
|
16.30-17.30
|
P.T. Johnstone, Bill Lawvere: a search for cohesion
|
| |
|
20.00
|
Conference Dinner
|
