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

Seminars scheduled in 2000-2001

Tuesday, 12 September 2000

2:30 - 4:00   J. Lambek
Injective hulls of partially ordered monoids

Tuesday, 19 September 2000

2:30 - 4:00   M Barr
Mackey topologies and injectives
(Abstract)

Tuesday, 26 September 2000

2:30 - 4:00   M Barr
On HSP completions of categories of TAGs
(Abstract)

Tuesday, 3 October 2000

2:30 - 4:00   Claudia Casadio
Some applications of bilinear logic to linguistics

Tuesday, 10 October 2000

2:30 - 4:00   M Hebert
Injectivity and orthogonality classes: recent results
(Abstract)

Tuesday, 17 October 2000

2:30 - 4:00   M Barr
Derived functors using effacements
(Abstract)

Tuesday, 24 October 2000

2:30 - 4:00   M Barr
Derived functors using effacements II
(Abstract)

Tuesday, 31 October 2000

2:30 - 4:00   M Bunge
The relative pure-entire factorization for geometric morphisms
(Abstract)

Tuesday, 7 November 2000

2:30 - 4:00   M Bunge
Do free distribution algebras exist?
(Abstract)

Tuesday, 14 November 2000

2:30 - 4:00   M Zawadowski
Model completions and propositional logics
(Abstract)

Tuesday, 21 November 2000

2:30 - 4:00   M Zawadowski
Model completions and propositional logics II
(Abstract)

Tuesday, 28 November 2000

2:30 - 4:00   M Zawadowski
Model completions and propositional logics III
(Abstract)

Tuesday, 5 December 2000

2:30 - 4:00   M Zawadowski
Model completions and propositional logics IV
(Abstract)

Tuesday, 30 January 2001

2:30 - 5:30   Eduardo Dubuc
Localic Galois Theory I and II
(There will be a half hour break, 3:30 - 4:00 for the usual coffee and cookies, and conversation. This replaces the usual such time after the talk.)

Tuesday, 13 February 2001

2:30 - 4:00   R.A.G. Seely
A Logic of a Linear Functor
(Abstract)

Tuesday, 20 February 2001

2:30 - 4:00   Eduardo Dubuc (Universidad de Buenos Aires)
Localic Galois Theory III
(This talk will be self-contained and may be attended by folks who missed the first two parts)

Tuesday, 27 February 2001

2:30 - 4:00   Jonathan Funk
Unramified maps
(Report on joint work with Ed Tymchatyn)

Tuesday, 6 March 2001

2:30 - 4:00   Robert Paré
Kan extensions for double categories

Wednesday, 7 March 2001

2:30 - 4:00   Jeff Egger
Some little known folklore about Zorn's Lemma
Location: BH 1120
(Abstract)

Tuesday, 13 March 2001

2:30 - 4:00   M Makkai
Computads, multitopic sets, simplicial sets, cellular sets
(joint work with Marek Zawadowski)

Wednesday, 14 March 2001

2:45 - 4:15   Richard Squire
Internal maximality in non-localic toposes
(Abstract)   Location: BH 1120

Tuesday, 27 Mar 2001

2:30 - 4:00   Bob Coecke
From Birkhoff - von Neumann to Eilenberg - Mac Lane: Categories for the digesting physicist
(Abstract)

Tuesday, 3 April 2001

2:30 - 4:00   Stephen Watson
Transfinite Recursion without the Details
(Abstract)

Tuesday, 10 April 2001

2:30 - 4:00   Richard Wood
Decomposing Regularity
(Abstract)

Wednesday, 11 April 2001

2:30 - 4:00   Richard Squire
Topos-theoretic characterization of finite-valued presheaves
Location: BH920

Tuesday, 17 Apr 2001

2:30 - 4:00   Bob Coecke
From Birkhoff - von Neumann to Eilenberg - Mac Lane: Categories for the digesting physicist II
(Abstract)

Wednesday, 18 April 2001

2:30 - 4:00   Jeff Egger
The L-prime Ideal Theorem, and its Corollaries
Location: BH 920
(Abstract)

Wednesday, 25 April 2001

2:30 - 4:00   Richard Squire
Topos-theoretic characterization of finite-valued presheaves II - "Issues" and a counter-example
(Location: BH 920)

Wednesday, 2 May 2001

2:30 - 4:00   Jeff Egger
Subsingletons and genuine subsingletons
(Abstract)
(Location: BH 920)

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-99
Seminars and abstracts from 1999-2000
Octoberfest 99