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.

 

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