Proposed Schedule of Talks
Room 1B45 (Burnside Hall basement)
Saturday, 16 October - morning session | ||
9:00 | M Barr | Remarks on the occasion of M Makkai's 65th birthday |
9:05-9:35 | M Makkai | The potential foundational significance of omega-categories, strict and weak |
9:40-10:10 | M Weber | Braided and symmetric higher operads |
coffee break | ||
10:45-11:15 | N Gambino | Generalised species of structures |
11:20-11:50 | J Kock | Weak units and realisation of homotopy 3-types |
12:00-12:30 | R Wood | Indexing specializes to both variation and enrichment |
lunch break | ||
afternoon session | ||
1:30-1:55 | É Paquette | Towards A Categorical Semantics For Topological Quantum Computing |
2:00-2:25 | B Valiron | A Functional Programming Language for Quantum Computation with Classical Control |
2:35-3:00 | G Beaulieu | Factorizing the Monad for Mixed Choice |
3:05-3:30 | J Egger | Linear distributivity and the Frobenius condition |
coffee break | ||
4:00-4:25 | H Forssell | Algebraic Models of Intuitionist Theories of Sets and Classes |
4:30-4:55 | M Warren | Algebraic Set Theory: Predicativity |
5:00-5:25 | W Boshuck | Remarks on higher dimensional logic |
5:30-6:00 | P Freyd | Algebraic Real Analysis: Progress Report |
social evening | ||
Sunday, 17 October | ||
9:00-9:30 | M Barr | Absolute CR-epic spaces |
9:35-10:05 | J Lambek | Free Compact 2-categories |
coffee break | ||
10:40-11:10 | J Funk | Purely Skeletal Geometric Morphisms |
11:15-11:45 | P Selinger | The CPM construction |
11:50-12:20 | R Cockett | Manifolds, Orbifolds, and beyond |
12:30-1:00 | P Freyd | Core Algebra: The Completeness Proof |