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

Seminars scheduled in 2006-2007

12 September 2006

2:30 - 4:00   M Makkai
The mathematics of categorical diagrams

19 September 2006

2:30 - 4:00   M Makkai
The mathematics of categorical diagrams II

26 September 2006

2:30 - 4:00   E Dubuc
Fibered Categories with respect to Cartesian families And Quasitopoi

3 Oct 2006

2:30 - 4:00   Niels Schwartz (University of Passau)
From Rings of continuous functions to real closed rings.
(Abstract)

10 October 2006

No seminar planned

17 October 2006

2:30 - 4:00   M Barr
Productively Lindelof spaces
(Abstract)

NOTE: Octoberfest 2006 at the University of Ottawa, 21-22 October 2006.

 

24 October 2006

2:30 - 4:00   G Seal
Lax algebras, monadic topology and tower extensions
(Abstract)

31 October 2006

2:30 - 4:00   Jose Gil-Ferez
Algebraic Logic: A Categorical Isomorphism Theorem
(Abstract)

7 November 2006

2:30 - 4:00   M Makkai
Linton Theories

14 November 2006

2:30 - 4:00   P Panangaden
A duality between state and observation for probabilistic automata

21 November 2006

2:30 - 4:00   Julia Bergner
Understanding homotopy theories via complete Segal spaces
(Abstract)

5 December 2006

2:30 - 4:00   B Gillon
The paradox of implicit arguments
(Abstract)

12 December 2006

2:30 - 4:00   Éric Paquette
The classical world from quantum theory
(Abstract)

16 January 2007

2:30 - 4:00   M Makkai
Kleene and Tarski reconciled

23 January 2007

2:30 - 4:00   M Bunge
Locally discrete locales
(Abstract)

30 January 2007

2:30 - 4:00   D Bargelli
Pregroup grammars and the Chinese verb
(Abstract)

6 February 2007

2:30 - 4:00   M Makkai
Ceva's Theorem and Categories

20 February 2007

Spring Break

27 February 2007

2:30 - 4:00   J Lambek
Some remarks on the categorical foundations of mathematics

6 March 2007

2:30 - 4:00   N Gambino
The associated sheaf functor theorem in Algebraic Set Theory
(Abstract)

13 March 2007

2:30 - 4:00   M Makkai
Linton theories for algebras of a monad over an arbitrary category are generalizations of Lawvere theories for algebras of a monad over Set

20 March 2007

2:30 - 4:00   N Gambino
Quillen model 2-categories
(Abstract)

3 April 2007

2:30 - 4:00   Pieter Hofstra
Abstract Computability
(Abstract)

 

PLACE: BURNSIDE HALL 920, McGILL UNIVERSITY

(COOKIES AND COFFEE AFTER THE TALK, IN THE LOUNGE)

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

Other seminars in Montreal
Ottawa Logic and Foundations of Computing Group
Past CTRC/CRTC seminars:
Seminars and abstracts from 1998-1999
Seminars and abstracts from 1999-2000
Octoberfest 99
Seminars and abstracts from 2000-2001
Seminars and abstracts from 2001-2002
Seminars and abstracts from 2002-2003
Seminars and abstracts from 2003-2004
Seminars and abstracts from 2004-2005
Octoberfest 04
Seminars and abstracts from 2005-2006