Seminars of the

           CENTRE de RECHERCHE en THEORIE des CATEGORIES
                 CATEGORY THEORY RESEARCH CENTER

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

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

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


2013


14 May 2013
 2:30 - 4:00   Uday Reddy (U Birmingham)
 A Reynolds Programme for Category Theory and Programming Languages
 [Abstract on webpage]


17 September 2013
 2:30 - 4:00 M. Barr (McGill)
 The limit closure of metric space in uniform spaces
 [Abstract on webpage]


21 September 2013 
 Lambekfest 2013 
 Celebrating the career (and belatedly! the 90th birthday) of Prof
 Joachim Lambek 
 To be held at the CRM 

24 September 2013
 2:30 - 4:00   M. Makkai (McGill)
 Lindstrom's theorem and its generalization to FOLDS


1 October 2013 (NOTE the time and location!)
 10:00 - 11:30   Robert Raphael (Concordia)
 A Folklore Theorem in Commutative Algebra
 The talk will be held in room BH 1120
 [Abstract on webpage]


8 October 2013
 2:30 - 4:00   M. Makkai (McGill)
 Lindstrom's theorem and its generalization to FOLDS II


15 October 2013
 2:30 - 4:00   Karol Szumilo (Bonn)
 Cofibration categories and quasicategories
 [Abstract on webpage]


29 October 2013
 2:30 - 4:00   M. Makkai (McGill)
 The theory of abstract sets formalized in first-order logic
 with dependent types
 [Abstract on webpage]


5 November 2013
 2:30 - 4:00   M Barr (McGill)
 Domain generated and domain reflective categories of rings
 [Abstract on webpage]


12 November 2013
 2:30 - 4:00   M. Makkai (McGill)
 The theory of abstract sets formalized in first-order logic
 with dependent types II
 [Abstract on webpage]


19 November 2013
 2:30 - 4:00   P. Panangaden (McGill)
 Stone duality for Markov Processes
 (Abstract on webpage)


26 November 2013  CANCELLED!
 2:30 - 4:00   P. Hofstra (Ottawa)
 Categories of games
 (Abstract on webpage)


3 December 2013
 2:30 - 4:00  M Makkai
 Lindstrom's theorem for FOLDS


10 December 2013
 2:30 - 4:00   R Lucyshyn-Wright (Ottawa)
 Riesz-Schwartz distributions and vector-valued
   integration in closed categories
 [Abstract on webpage]