Centre de Recherche en Théorie des Catégories
-- Montréal --
Category Theory Research Center

Seminars scheduled in 2001-2002

Tuesday, 11 September 2001

2:30 - 3:30   Bob Coecke
QUESTIONS on physical logicality
(vs. constructivism and resource sensitive provability)
4:00 - 5:00   Boris Ischi
Property lattices for separated quantum systems

Tuesday, 18 September 2001

2:30 - 4:00   Prakash Panangaden
Discrete Quantum Causal Dynamics
(Joint work with Rick Blute and Ivan T Ivanov)
(Abstract)

Tuesday, 25 September 2001

2:30 - 4:00   Prakash Panangaden
Discrete Quantum Causal Dynamics II
(Joint work with Rick Blute and Ivan T Ivanov)
(Abstract)

Tuesday, 2 October 2001

2:30 - 4:00   M Barr
Flat modules in localic toposes

Tuesday, 9 October 2001

CANCELLED

Tuesday, 6 November 2001

3:00 - 4:30   Rezaei Siamak
From categorial to process grammars

Tuesday, 13 November 2001

CANCELLED

Tuesday, 4 December 2001

2:30 - 3:30   Bob Coecke
Physical realization of the traced monoidal category of Finite dimensional vector spaces.
(Joint work with Samson Abramsky)
(Abstract)

4:00 - 5:00   Claudia Casadio
Word order and scope in pregroup grammar

Tuesday, 11 December 2001

2:30 - 4:00   Luigi Santocanale
Fixed Point Logics and Circular Proofs
(Abstract)

Tuesday, 22 January 2002

2:30 - 4:00   Eduardo Ochs
A system of natural deduction for categories
(Abstract)

Tuesday, 29 January 2002

2:30 - 4:00   Colin McLarty (Department of Philosophy, Case Western Reserve University)
Logic and geometry from Eilenberg-MacLane to Grothendieck

Tuesday, 5 February 2002

2:30 - 4:00   Marta Bunge
Extensive 2-categories and Top
(Abstracts) (for all three talks)

Tuesday, 12 February 2002

2:30 - 4:00   Marta Bunge
A Van Kampen theorem for toposes and applications

Tuesday, 19 February 2002

2:30 - 4:00   Marta Bunge
Locally constant objects in a Grothendieck topos

Tuesday, 5 March 2002

2:30 - 4:00   Mihaly Makkai
On syntax: an exhortation
(Abstract)

Tuesday, 12 March 2002

2:30 - 4:00   Mihaly Makkai
On syntax: examples (a "workshop")
(Abstract)

Tuesday, 26 March 2002

2:30 - 4:00   Susan Niefield (Union College)
Homotopy pullbacks, Lax pullbacks, and Exponentiability
(Abstract)

Tuesday, 2 April 2002

2:30 - 4:00   Richard Squire
The definability of transition surjective presheaves
Part I: The axiom of constant domain

Tuesday, 9 April 2002

2:30 - 4:00   Richard Squire
The definability of transition surjective presheaves
Part II: The reduction to subobjects of Omega

Tuesday, 16 April 2002

2:30 - 4:00   Jean-Pierre Marquis
From a geometrical point of view: the categorical perspecive on mathematics and its foundations

Tuesday, 23 April 2002

2:30 - 4:00   M Barr
Absolute homology
(Abstract)

Tuesday, 30 April 2002

2:30 - 4:00   Tsemo Aristide
Stacks and affine manifolds.

Tuesday, 7 May 2002

2:30 - 4:00   Alexander Nenashev
Simplicial constructions in the K-theory of exact categories
(Abstract)

Tuesday, 14 May 2002

No talk currently scheduled

Tuesday, 21 May 2002

2:30 - 4:00   Jean-Pierre Marquis
Categorical foundations: a brief history (with a philosophical aside)

Tuesday, 28 May 2002

2:30 - 4:00   J Lambek
An algebraic-computational approach to grammar

Tuesday, 20 August 2002

2:30 - 4:00   Stelios Negrepontis (Athens)
The anthyphairetic nature of Plato's dialectics.
(Remark: Anthyphaireses = continued fraction)

PLACE: BURNSIDE HALL 920, McGILL UNIVERSITY

(COOKIES AND COFFEE AS USUAL AFTER THE FIRST TALK)

If you wish to receive regular updates to this list by email, send your request to be added to the e-list to

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
Octoberfest 99