2010 Category Theory Octoberfest

Dalhousie University, Halifax, Canada
October 23-24, 2010

Program

Friday, October 22

  5:30 -   8:00: Welcome reception, 319 Chase Building

Saturday, October 23

  8:30 -   9:00: Coffee and Breakfast
  9:00 -   9:45: André Joyal (UQAM):
The Koszul sign rule in Feynman diagrams
  9:45 - 10:15: Steve Awodey (CMU):
Sketch of the homotopy interpretation of intensional type theory
10:20 - 10:40: Coffee Break
10:40 - 11:10: Chris Kapulkin (Pittsburgh):
Pi- and Sigma-types in homotopy theoretic models of type theory
11:15 - 11:45: Peter LeFanu Lumsdaine (Dalhousie):
Conservativity principles in dependent type theory: a homotopy-theoretic approach
11:50 - 12:20: Michael A. Warren (Dalhousie):
Combinatorial realizability models of type theory
12:25 -   2:00: Lunch
  2:00 -   2:30: Jonathan Gallagher (Calgary):
Differential Join Restriction Categories
  2:35 -   3:05: Geoff Cruttwell (Calgary):
Differential and tangent structure for restriction categories
  3:10 -   3:40: Robin Cockett (Calgary):
Integral categories
  3:45 -   4:15: Coffee Break
  4:15 -   4:45: Fred Linton (Wesleyan):
How to see the reals as compact Hausdorff space, and why you'd want to
  4:50 -   5:20: Susan Niefield (Union):
A Double Category of Topological Spaces
  6:30 - : Dinner at Salty's

Sunday, October 24

  8:15 -   8:45: Coffee and Breakfast
  8:45 -   9:15: Alex Hoffnung (Ottawa):
Groupoidification and the Hecke Bicategory
  9:20 -   9:50: Aleks Kissinger (Oxford):
Frobenius States and a Graphical Language for Multipartite Entanglement
  9:55 - 10:25: Gábor Lukács (Manitoba):
Solving problems in topological groups (and number theory) using category theory
10:30 - 10:45: Coffee Break
10:45 - 11:15: Toby Kenney (Dalhousie):
Generalised Sup Arrows and the Totally Below Relation
11:20 - 11:50: Rory Lucyshyn-Wright (York):
Totally Distributive Toposes, Continuous Categories, and Injective Toposes
11:55 - 12:25: Nathan Bowler (Cambridge):
Unwirings and exponentiability for multicategories
12:30 -   1:00: Michael Makkai (McGill):
Semi-Strict Omega Categories