
Centre de Recherche en Théorie des Catégories
-- Montréal --
Category Theory Research Center
Seminars scheduled in 2004-2005
-
7 Sept 2004
-
4:00 - 5:30 Claudio Hermida
A roadmap to the unification of weak categorical structures:
transformations and equivalences among the various notions of
pseudo-algebra
(Abstract)
-
14 Sept 2004
-
4:00 - 5:30 M Barr
Characterizing Lindelof absolute CR-epics.
(Abstract)
-
21 Sept 2004
-
4:00 - 5:30 M Makkai
Computads and higher dimensional categories: a new approach.
-
28 Sept 2004
-
4:00 - 5:30 M Makkai
Computads and higher dimensional categories: a new approach II
-
5 Oct 2004
-
4:00 - 5:30 Gavin Seal
Lax algebras and topological-like structures
(Abstract)
-
12 Oct 2004
-
4:00 - 5:30 Prakash Panangaden
A Domain of spacetime intervals (joint work with Keye Martin)
-
16-17 October 2004
-
Octoberfest
(Category Theory weekend)
-
19 October 2004
-
4:00 - 5:30 Nicola Gambino
Wellfounded trees in locally cartesian closed categories
(Abstract)
- 26 October 2004
-
2:30 - 3:45 M Makkai
The Word Problem for Computads
-
Coffee break
-
4:15 - 5:30 Jim Loveys
Linear reducts of the complex field
(Abstract)
-
2 November 2004
-
2:30 - 3:45 Joachim Kock
On the notion of unit in monoidal categories and monoidal 2-categories
(Abstract)
- Coffee Break
-
4:15 - 5:30 Éric Paquette
Towards A Categorical Semantics For Topological Quantum Computing
(Abstract)
-
9 November 2004
-
2:30 - 4:00 J Funk
Purely Skeletal Geometric Morphisms (II)
(Joint work with Marta Bunge)
(Abstract)
- Coffee Break
-
4:30 - 5:30 Jim Loveys
Linear reducts of the complex field II
(Abstract)
-
16 November 2004
-
2:30 - 3:30 M Makkai
The Word Problem for Computads II
-
Coffee break
-
4:00 - 5:30 C.Barry Jay
The pattern calculus
(Abstract)
-
24 November 2004
-
4:00 - 5:30 Tsemo Aristide
Geometric cohomology
[Preprint]
-
1 February 2005
-
4:00 - 5:30 M Makkai
Some initial results on the structure of computads
-
8 February 2005
-
4:00 - 5:30 M Makkai
Some initial results on the structure of computads II
-
15 February 2005
-
4:00 - 5:30 P Hofstra
The category of realizability toposes
(Abstract)
-
5 April 2005
-
4:00 - 5:30 Mehrnoosh Sadrzadeh
An Algebraic / Categorical Approach to the Logic of
Information Flow
(Abstract)
-
12 April 2005
-
4:00 - 5:30 Bob Coecke
Abstract Quantum Mechanics III: De-linearizing linearity
(Abstract)
-
19 April 2005
-
4:00 - 5:30 Nicola Gambino
From distributive laws to pseudo-distributive laws
(Abstract)
-
3 May 2005
-
2:30 - 4:00 Jan Rutten (CWI and VUA, Amsterdam)
Algebraic specification and coalgebraic synthesis
of sequential machines
(Abstract)
Coffee will follow this talk.
Change of schedule:
-
10 May 2005
-
2:30 - 4:00 M Makkai
Some modest but nice results and proofs (everything is proved!) on
computads: reporting on my paper "The word problem for computads".
-
17 May 2005
-
2:30 - 4:00 John Kennison
Locales of the mind
(Abstract)
Coffee will follow this talk.
-
24 May 2005
-
4:00 - 5:30 R.A.G. Seely
Polarized games and polarized categories
(Abstract)
Coffee will preceed this talk (at 3:30).
-
31 May 2005
-
2:30 - 4:00 M Makkai
A survey of equational logic from a categorical perspective
Coffee will follow this talk.
PLACE: BURNSIDE HALL 920, McGILL UNIVERSITY
(COOKIES AND COFFEE AT 3:30 BEFORE THE TALK, IN THE LOUNGE)
If you wish to receive regular updates to this list by email,
send your request to be added to the e-list to
RAG Seely
(rags@math.mcgill.ca)
L'Officiel des
mathématiques de Montréal (Other seminars in
Montreal)
Seminars and abstracts from 1998-1999
Seminars and abstracts from 1999-2000
Seminars and abstracts from 2000-2001
Seminars and abstracts from 2001-2002
Seminars and abstracts from 2002-2003
Seminars and abstracts from 2003-2004
Octoberfest 99
Seminars from previous years (rough listings)
1991
1992
1993
1994
1995
Octoberfest '95
1996
1997
Barrfest '97
1998
1999
2000
2001
2002
2003