Seminars of the

           CENTRE de RECHERCHE en THEORIE des CATEGORIES
                 CATEGORY THEORY RESEARCH CENTER

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

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

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



2011

Tuesday 11 January 2011
2:30 - 4:00   M Barr
A countable meet of spatial sublocales of a coherent space is spatial I
(Abstract on webpage)

Tuesday 18 January 2011 
2:30 - 4:00   Roman Tymkiv 
Circulation Theory 
(Abstract on webpage) 

Tuesday 25 January 2011 
2:30 - 4:00   Roman Tymkiv 
Circulation Theory II 
(Abstract on webpage)

Tuesday 1 February 2011
Foundations Seminar
11:00 - 12:30 M Makkai
Anafunctors
(This is the first of this semester's meetings in the series of talks
by M Makkai.
Note the new time and place: Tuesday mornings at 11am till 12:30, at
McGill, in Burnside Hall room 1234.)
Category Seminar
2:30 - 4:00   M Barr
A countable meet of spatial sublocales of a coherent space is spatial II
(Abstract on webpage)

Tuesday 8 February 2011 
2:30 - 4:00   A Hoffnung (Ottawa)
Convolution over homology 
(Abstract on webpage)
CANCELLED - to be rescheduled

Tuesday 15 February 2011
Foundations Seminar
11:00 - 12:30 M Makkai
Anafunctors: their use and their expression in FOLDS
(This is the second of this semester's meetings in the series of talks
by M Makkai.
Note the time and place: Tuesday mornings at 11am till 12:30, at
McGill, in Burnside Hall room 1234.)
Category Seminar
2:30 - 4:00   M Makkai
Completeness in algebraic logic revisited
(Usual time and place: BH 920)

There is time between these talks for lunch - perhaps in the BH lounge
- and I propose that the "after-seminar coffee & cookies" time be
replaced by a "before-seminar" social.  If this is acceptable, I'll
make sure cookies are available (eg from 1:30 onwards).  Comments
welcome, of course!


Tuesday 1 March 2011 
Foundations Seminar in BH1234 
11:00 - 12:30   M Makkai 
FOLDS (finally) defined 
(This is the third of this semester's meetings in the series of talks
by M Makkai. 
Note the time and place: Tuesday mornings at 11am till 12:30, at
McGill, in Burnside Hall room 1234.) 

Tuesday 15 March 2011 
Foundations Seminar in BH1234 
11:00 - 12:30   M Makkai 
The definition of FOLDS, part 2 
(This is the fourth of this semester's meetings in the series of talks
by M Makkai. 
Note the time and place: Tuesday mornings at 11am till 12:30, at
McGill, in Burnside Hall room 1234.)


Tuesday 29 March 2011

 Foundations Seminar  (in Burnside Hall room 1234)
 11:00 - 12:30 M Makkai
 The definition of FOLDS, part 3
 (This continues this semester's meetings in the series of talks
 by M Makkai. Note the time and place: Tuesday mornings at 11am till
 12:30, at McGill, in BH1234.)


 Category Seminar in BH 920
 2:30 - 4:00   D Coumans
 Defining a notion of canonical extension for coherent categories
 (Abstract on webpage)


Tuesday 12 April 2011 
 Foundations Seminar in BH1234 
 11:00 - 12:30   M Makkai 
 The FOLDS notion of identity 
 (Note the time and place: Tuesday morning at 11am till 12:30, at
 McGill, in Burnside Hall room 1234.)

Tuesday 26 April 2011
 Foundations Seminar in BH1234
 11:00 - 12:30   M Makkai
 Properties and uses of FOLDS equivalences
 (Note the time and place: Tuesday morning at 11am till 12:30, at
 McGill, in Burnside Hall room 1234.)


Tuesday 24 May 2011
2:30 - 4:00   John Kennison
Coherent spaces and dynamical systems


6 September 2011 (Foundations of Mathematics Seminar)
2:30 - 4:00   M Makkai
FOLDS is good, even for the homotopy theory of simplicial sets


13 September 2011

 BH1120:
 10:30 - noon  M Makkai
 Foundations of Mathematics Seminar
 A first look at the multitopic universe

 BH920:
 2:30 - 4:00   Gadi Moran (Haifa)
 On Levy-Steinitz Theorem (LS)
 (Abstract on webpage)


20 September 2011

 BH1120:
 10:30 - noon  M Makkai
 Foundations of Mathematics Seminar

 BH920:
 2:30 - 4:00   Olivia Caramello
 The unification of Mathematics via Topos Theory
 (Abstract on webpage)


27 September 2011
2:30 - 4:00   Jeff Egger
Categorical models of effectful computation, and linear logic



4 October 2011

 BH1120:
 10:30 - noon   G Longo (CNRS, CREA, Ecole Polytechnique et ENS, Paris)
 Symmetries in foundations: from Mathematics to Natural Sciences
 [Abstract on webpage]

 BH920:
 2:30 - 4:00   G Longo (CNRS, CREA, Ecole Polytechnique et ENS, Paris)
 Asymptotic (algorithmic/ergodic) Randomness vs. Randomness in Natural
 Sciences
 [Abstract on webpage]


8 November 2011
 2:30 - 4:00   E Dubuc
 A Tannakian context for Galois
 (Abstract on webpage)


15 November 2011
 3:15 - 4:45   R Raphael
 A lattice naturally associated with a topological space
 (Abstract on webpage)


22 November 2011
 2:30 - 4:00   M Bunge
 Stack, Cauchy, and other Tight Completions
 (Abstract on webpage)


29 November 2011
 2:30 - 4:00   J Lambek
 A six-vector classification of fundamental particles
 (Abstract on webpage)


6 December 2011
 12:30 - 2:00   M Barr
 Duality of sup semi-lattices: preliminary report