Slides of talks

The slides of some talks are available here.


(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)

| Top of the page |

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
Paolo Perrone: The Wasserstein monad in categorical probability
Nelson Martins-Ferreira: Triangulations, triangulated surfaces and the multiplicative structure of internal groupoids
Partha Pratim Ghosh: Internal neighbourhood spaces
Michael Lambert: Generalized principal bundles
16:30-17:30 Discussion

| Top of the page |

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

| Top of the page |

Thursday 20

09:00-09:55 Tim Van der Linden
Categorical-algebraic methods in group cohomology
10:00-10:25 Julia Goedecke: Hopf formulae for Tor
10:30-11:00 Coffee Break
11:00-11:25 Marino Gran: A characterization of central extensions in the variety of quandles
11:30-11:55 Pierre-Alain Jacqmin: An embedding theorem for regular Mal'tsev categories
12:00-12:25 Diana Rodelo: Stability properties for n-permutable categories
12:30-14:00 Lunch
14:00-14:25 Alan S. Cigoli: A relative monotone-light factorization system for internal groupoids
14:30-14:55 Xabier García-Martínez: A characterisation of Lie algebras amongst alternating algebras
15:00-15:30 Coffee Break
Jonathan Gallagher: Coherently closed tangent categories and the link between SDG and the differential λ-calculus
Sean Moss: The Diller-Nahm model of type theory
Jean-Simon Lemay: Integration in tangent categories
Evangelia Aleiferi: Towards a characterization of the double category of spans
Ben MacAdam: Vector bundles and dependent linear logic in differential geometry
Darien DeWolf: An element-based reformulation of restriction monads

| Top of the page |

Friday 21

09:00-09:55 Dirk Hofmann
Duality theory, convergence, and enriched categories
10:00-10:25 Maria Manuel Clementino: On simple monads in ordered structures and the factorisations they induce
10:30-11:00 Coffee Break
11:00-11:25 Walter Tholen: Topological theories
11:30-11:55 Lurdes Sousa: Aspects of algebras of KZ-monads
12:00-12:25 Giulia Frosoni: Properties of ΣΣ(-)-algebras in Equ
12:30-14:00 Lunch
14:00-14:25 Piotr Jedrzejewicz: Towards a categorification of integers
14:30-14:55 Laura Scull: Fundamental groupoids for orbifolds
15:00-15:30 Coffee Break
15:30-15:55 Jun Yoshida: Graphical calculus in symmetric monoidal (∞-)categories with duals
Marzieh Bayeh: Orbit class and its application
Daniel Cicala: Modeling graphical calculi with symmetric monoidal compact closed bicategories
Jonas Frey: Modelling homotopy type theory in cartesian cubical sets
Francisco Ríos: A categorical model for a quantum circuit description language
18:00 CT 2017: Buffet Dinner:
University Golf Club

5185 University Blvd, Vancouver, BC V6T 1X5
(15 min walk or 5 min bus ride on the #4/ #14 trolley buses)

| Top of the page |

Saturday 22

09:00-09:55 Robert Paré:
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

| Top of the page |