Seminars of the

           CENTRE de RECHERCHE en THEORIE des CATEGORIES
                 CATEGORY THEORY RESEARCH CENTER

                       C  --------->  R

                       |           /  |
                       |         /    |
                       |       /      |
                       |     /        |
                       v   /          v

                       T  --------->  C


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


5 April 2005
4:00 - 5:30   Mehrnoosh Sadrzadeh
An Algebraic / Categorical Approach to the Logic of Information Flow
(Abstract on webpage)


12 April 2005
4:00 - 5:30   Bob Coecke
Abstract Quantum Mechanics III: De-linearizing linearity
(Abstract on webpage)

19 April 2005 
4:00 - 5:30   Nicola Gambino 
From distributive laws to pseudo-distributive laws 
(Abstract on webpage)


3 May 2005 
2:30 - 4:00   Jan Rutten (CWI and VUA, Amsterdam) 
Algebraic specification and coalgebraic synthesis of sequential machines 
(Abstract on webpage) Coffee will follow this talk. 


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".
Coffee will follow this talk.


17 May 2005
2:30 - 4:00 John Kennison
Locales of the mind
(Abstract on webpage)


24 May 2005 
4:00 - 5:30   R.A.G. Seely 
Polarized games and polarized categories 
(Abstract on webpage)


31 May 2005 
2:30 - 4:00   M Makkai 
A survey of equational logic from a categorical perspective 
Coffee will follow this talk.



20 Sept 2005
2:30 - 4:00    Gadi Moran
From Monotone Functions to Scattered Orders


27  Sept 2004
2:30 - 4:00   M Makkai
Normal forms for computads


4 Oct 2004
2:30 - 4:00   M Barr
Absolute homology


18 Oct 2004 
2:30 - 4:00   N Gambino 
Variations on distributive laws 
(Abstract on webpage)


1 Nov 2005
2:30 - 4:00   Claudio Hermida
Descent on 2-fibrations and strong 2-regularity
(Abstract on webpage)


29 Nov 2005 
2:30 - 4:00   Jean-Pierre Marquis 
Organization vs foundations: Kreisel, Lawvere and category theory 
(Abstract on webpage)

===================================================

COFFEE: Coffee and cookies will be available after the talk in the lounge.

PLACE:  BURNSIDE HALL 920, McGILL UNIVERSITY

===================================================
(Any comments, suggestions to rags@math.mcgill.ca)
Seminar listings are also on the triples WWW page 
       http://www.math.mcgill.ca/triples