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


Seminars scheduled in 1999-2000


Tuesday, 7 Sept 1999
2:30 - 4:00   M Makkai
Omega-dimensional homotopy theory

Tuesday, 14 Sept 1999
2:30 - 4:00   Luigi Santocanale
Free $\mu$-lattices.
ABSTRACT

Tuesday, 21 Sept 1999
2:30 - 4:00   Paddy McCrudden
Opmonoidal monads

Tuesday, 28 Sept 1999
2:30 - 4:00   Carsten Butz
An introduction to Quine's "New Foundations"
ABSTRACT

Tuesday, 5 Oct 1999
In BH 1214:
1:30 - 3:00   Yoshiki Kinoshita
Algebraic explanation of Hoare's notion of refinement
ABSTRACT

October 16-17, 1999
"OctoberFest99" Category Theory Meeting

Tuesday, 19 Oct 1999
2:30 - 4:00   Dusko Pavlovic (Kestrel Institute)
Coinduction over reals and over analytic functions
ABSTRACT

Tuesday, 26 Oct 1999
2:30 - 4:00   Richard Squire
Counting measures: an application of the filter construction to partially ordered algebras

Tuesday, 2 Nov 1999
2:30 - 4:00  Mihaly Makkai
Universal properties in the higher dimensional context
ABSTRACT

Tuesday, 9 Nov 1999
2:30 - 4:00   Richard Squire
Counting measures: an application of the filter construction to partially ordered algebras II

Tuesday, 16 Nov 1999
2:30 - 4:00   Roberto Poli
The Unreasonable Ineffectiveness Of Mathematics In Cognitive Sciences
ABSTRACT

Tuesday, 23 Nov 1999
2:30 - 4:00   Sjoerd Crans
Diagrammatic globular sets
ABSTRACT

Tuesday, 7 Dec 1999
2:30 - 4:00   Claudia Casadio
About the complexity of the syntactic calculus

Tuesday, 18 Jan 2000
2:30 - 4:00   Michael Barr
Acyclic Models
This is the first in a series of talks, given irregularly, on this subject, by Michael Barr, based on his forthcoming book. Subsequent talks are presently planned for Jan 25 and Feb 29.

Tuesday, 25 Jan 2000
2:30 - 4:00   Michael Barr
Acyclic Models

Tuesday, 1 Feb 2000
2:30 - 4:00   M Makkai
Simplicial sets, weak omega groupoids, and homotopy

Tuesday, 8 Feb 2000
2:30 - 4:00   S Crans
Extended teisi in Ab
Abstract

Tuesday, 15 Feb 2000
2:30 - 4:00   M Makkai
Simplicial sets, weak omega groupoids, and homotopy (and more) II

Tuesday, 29 Feb 2000
2:30 - 4:00   Michael Barr
Acyclic Models

Tuesday, 7 March 2000
2:30 - 4:00   Michael Barr
Acyclic Models

Tuesday, 14 March 2000
2:00 - 3:30   Richard Squire
Subfunctors and submonads of the powerset monad
4:00 - 5:00   R.A.G. Seely
Sigma Pi logic
Abstract

Tuesday, 21 March 2000
2:00 - 3:30   Marta Bunge
Stone locales : the dominance-entire connection
4:00 - 5:00   Michael Barr
Acyclic Models

Tuesday, 28 March 2000
2:30 - 4:00   Alex Simpson
A universal characterisation of the interval
ABSTRACT:
I shall discuss a universal characterisation of the closed interval, which makes sense in the general setting of a category with finite products. (Joint work with Martin Escardo, University of St Andrews, Scotland.)

Tuesday, 4 April 2000
2:00 - 3:30   M Makkai
Protocategories: the link between Joyal's theta-categories and multitopic categories
4:00 - 5:00   Michael Barr
Acyclic Models

Tuesday, 11 April 2000
2:00 - 3:30   Sjoerd Crans
The shuffle pasting, I
Abstract
4:00 - 5:00   Michael Barr
Acyclic Models

Tuesday, 18 April 2000
2:00 - 3:30   Sjoerd Crans
The shuffle pasting, II
Abstract
4:00 - 5:00   Michael Makkai
On Quillen model structures and FOLDS.

Tuesday, 25 April 2000
2:15 - 3:15   Michael Barr
Acyclic Models
4:00 - 5:00   Richard Squire
Singly generated algebras without the natural numbers

Tuesday, 2 May 2000
2:00 - 3:30   Mihaly Makkai
Protocategories: a link between Joyal's theta categories and multitopic categories (continued)
4:00 - 5:00   Richard Squire
Singly generated algebras without the natural numbers II

Tuesday, 9 May 2000
3:30 - 5:00   Sjoerd Crans
The shuffle pasting, III
Abstract

Tuesday, 16 May 2000
3:30 - 5:00   Carsten Butz
Quine's New Foundations `is' higher-order arithmetic
Abstract

Tuesday, 23 May 2000
3:30 - 5:00   Michael Barr
Acyclic Models

Tuesday, 30 May 2000
3:30 - 5:00   Michael Barr
Acyclic Models

Tuesday, 13 June 2000
2:00 - 3:30   Sjoerd Crans
The shuffle pasting, IV
Abstract
4:00 - 5:00   Michael Barr
Acyclic Models

Tuesday, 20 June 2000
2:30 - 4:00   M Makkai
A new theory of pasting

Tuesday, 27 June 2000
2:15 - 3:15   M Makkai
A new theory of pasting II
4:00 - 5:00   Michael Barr
Acyclic models

Tuesday, 22 August 2000
2:30 - 4:00   S Crans
The shuffle pasting, V

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

RAG Seely (rags@math.mcgill.ca)

L'Officiel des mathématiques de Montréal (Other seminars in Montreal)
Seminars and abstracts from 1998-99
Octoberfest 99


Seminars from previous years (rough listings)
1991   1992   1993   1994   1995   Octoberfest '95   1996   1997   Barrfest '97   1998   1999