Slides of talks
The slides of some talks are available here.
Programme
(click to zoom)
-
Check-in and package pick up on the first day can be done in the Earth Sciences Building (ESB) Atrium.
- All plenary sessions will be in the ESB Room 1013.
- Breakout sessions on Tuesday, Thursday and Friday will be in ESB 1012 and 1013.
Sunday 16
| 17:30-19:00 | Optional Meet and Greet: Light refreshments and nibbles served UBC Mahoney and Sons, 5990 University Blvd, Vancouver, BC V6T 1Z3 |
|---|
Monday 17
| 08:30-08:55 | Registration and Check-in (ESB Atrium) |
|---|---|
| 09:00-09:25 | Opening |
| 09:30-10:25 | Matias Menni On a problem in Objective Number Theory |
| 10:30-11:00 | Coffee Break |
| 11:00-11:25 | Francisco Marmolejo: The canonical intensive quality of a pre-cohesive topos |
| 11:30-11:55 | Fabio Pasquali: Quasi-toposes as elementary quotient completions |
| 12:00-12:25 | Jacopo Emmenegger: On the local cartesian closure of exact completions |
| 12:30-14:00 | Lunch |
| 14:00-14:25 | Juan Pablo Quijano: Functoriality and topos representations for quantales of coverable groupoids |
| 14:30-14:55 | Guilherme Frederico Lima: Duality theorems for essential inclusions of Grothendieck toposes |
| 15:00-15:30 | Coffee Break |
| 15:30-17:25 |
Kan Extension Seminar (organized by Alexander Campbell and Emily Riehl) |
Tuesday 18
| 09:00-09:55 | Rory Lucyshyn-Wright Algebraic duality and the abstract functional analysis of distribution monads |
|---|---|
| 10:00-10:25 | Alexander Campbell: Enriched algebraic weak factorisation systems |
| 10:30-11:00 | Coffee Break |
| 11:00-11:25 | Martin Szyld: A general limit lifting theorem for 2-dimensional monad theory |
| 11:30-11:55 | María Emilia Descotte: On flat 2-functors |
| 12:00-12:25 | Christina Vasilakopoulou: Hopf categories as Hopf monads in enriched matrices |
| 12:30-14:00 | Lunch |
| 14:00-14:25 | Lauchie MacDonald: Two dimensional algebra and natural distributive laws |
| 14:30-14:55 | Timmy Fieremans: Frobenius and Hopf V-categories |
| 15:00-15:30 | Coffee Break |
| 15:30-15:55 (parallel) | Paolo Perrone: The Wasserstein monad in categorical probability |
| Nelson Martins-Ferreira: Triangulations, triangulated surfaces and the multiplicative structure of internal groupoids | |
| 16:00-16:25 (parallel) | Partha Pratim Ghosh: Internal neighbourhood spaces |
| Michael Lambert: Generalized principal bundles | |
| 16:30-17:30 | Discussion |
Wednesday 19
| 09:00-09:25 | Jiří Adámek: Codensity and double-dualization monads |
|---|---|
| 09:30-09:55 | Michael Barr: Simplicial acyclic models |
| 10:00-10:25 | Susan Niefield: Topological groupoids and exponentiability |
| 10:30-11:00 | Coffee Break |
| 11:00-11:25 | Dorette Pronk: The orbifold construction for join restriction categories |
| 11:30-11:55 | Robin Cockett: General Erhesmann connections and torsor bundles |
| 12:00-12:25 | Geoffrey Cruttwell: Differential equations in tangent categories |
| 12:30-13:15 | Lunch |
| 13:15 | Excursion to Granville Island (Please assemble at the registration table by 1:15pm. We will then board Lynch Buses at 2175 West Mall.) |
| 17:30-21:00 | Harbor Dinner Cruise Boarding Vessel from Granville Island: Dock A, 1698 Duranleau St. Vancouver BC V6H 3S4. Point of contact: Maret Christiansen- 604-319-1448 |
| 21:15 | Bus pick-up back to UBC conference venue |
Thursday 20
Friday 21
Saturday 22
| 09:00-09:55 | Robert Paré: Hypercategories |
|---|---|
| 10:00-10:25 | David Jaz Myers: String diagrams for (virtual) proarrow equipments |
| 10:30-11:00 | Coffee Break |
| 11:00-11:25 | Murray Bremner: Commutativity in double interchange semigroups |
| 11:30-11:55 | Emily Riehl: A synthetic theory of ∞-categories in homotopy type theory |
| 12:00-12:25 | Robert Rosebrugh: Symmetric lenses and universality |