TORONTO SPRING MEETING on Category Theory - April 13/14, 1996
All lectures will be held in Vari Hall, Room D, on the York University campus
at 4700 Keele Street in North York (Metropolitan Toronto).
PROGRAM
Saturday: 9:00- 9:10 OPENING
9:10- 10:00 Robert Pare: Representables for double categories
10:10- 10:35 David B. Benson: Cartesian closure in categories of
Diers categories
10:40- 11:05 Andrew Ensor: Using sketches to represent notions
such as natural transformations
11:20- 11:45 Richard Squire: Applications of the Cantor-Bendixon
derivative to dualities
11:50- 12:15 Dorette Pronk: Cohomology of orbifolds
12:20- 12:45 Michael Makkai: On the Baez/Dolan definition of weak
n-category
12:50- 2:15 LUNCH
2:20- 3:10 Maria Cristina Pedicchio: Recent developments in
commutator theory
3:15- 3:40 Aurelio Carboni: Syntactic characterization of
various classes of locally presentable categories
3:45- 4:10 Jonathon Funk: The locally connected coreflection of
a Grothendieck topos: an application of the
theory of locally presentable categories
4:20- 4:45 D. Pumplu"n: Metrics in convex modules
4:50- 5:30 DISCUSSION: The role of category theory in
undergraduate education
Moderator: F.W. Lawvere
Sunday: 9:10- 10:00 Andre' Joyal: Free bicompletion of categories -
construction and meaning
10:10- 10:35 Hongde Hu: Distributivity, softness and free
bicomplete categories
10:40- 11:05 Joanne Walters-Wayland: Metrically determined
subcategories of uniform frames
11:20- 11:45 Christopher Gilmour: Realcompactifications and
Lindelo"fications of frames
11:50- 12:15 Sandro Fusco: Functorial treatment of the
Grothendieck construction
12:20- 12:45 Fred E. J. Linton: Connectedness and
(Sierpinski space)^2
12:50- 13:15 Claudio Hermida: Simulations as modules
Financial support from the Academic Iniatives Fund of the Department of
Mathematics and Statistics at York University is gratefully acknowledged.
TSM main page
Walter Tholen's Home Page