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

Seminars scheduled in 2009-2010

Next talk

29 September 2009

2:30 - 4:00   M Makkai
A new formulation of the (complete) homotopy type of a simplicial set (and by implication, of a topological space), in the form of a first order theory in a restricted language with dependent types.

6 October 2009

3:00 - 4:30   M Barr
A new variation on Chu
(Abstract)

20 October 2009

3:00 - 4:30   M Barr
High, wide, and Chu: a new *-autonomous category
(Abstract)

27 October 2009

3:00 - 4:30   M Makkai
Ivo Herzog's matrix calculus for linear algebra over a (not necessarily commutative, general) ring.
Note: this is about the recent paper: Ivo Herzog, Linear Algebra Over a Ring.

24 November 2009

2:30 - 4:00   Trevor Wares (U. Ottawa)
Continuity Principles in the free topos
(Abstract)

1 December 2009

3:30 - 5:00   Roman Tymkiv
Circulatory Analysis: A new probability-type category for applications
(Abstract)
Cookies before the talk, at 3pm in the lounge

26 January 2010

2:30 - 4:00   M Barr
Snake in the Grass
(Abstract)

2 February 2010

2:30 - 4:00   Roman Tymkiv
Circulatory Analysis: A new probability-type category for applications II
(Abstract)

9 February 2010

2:30 - 4:00   Claudia Casadio
Analysis and computation of features in Pregroup Grammar

16 February 2010

2:30 - 4:00   M Makkai
Gabriel-Ulmer duality for 2-categories

9 March 2010

2:30 - 4:00   M Makkai
Gabriel-Ulmer duality for 2-categories II

23 March 2010

2:30 - 4:00   M Makkai
Gabriel-Ulmer duality for 2-categories III

6 April 2010

2:30 - 4:00   Adam Brown
Infeasibility of solving finite mathematical problems
(Abstract)

13 April 2010

2:30 - 4:00   R Raphael
Commutative pm rings
[Abstract]

20 April 2010

2:30 - 4:00   R Raphael
Commutative pm rings II
[Abstract]

20 May 2010

3:00 - 4:30   M Makkai
An (interesting?) exercise in model theory concerning models of arithmetic, with many related (interesting?) open problems.

 

PLACE: BURNSIDE HALL 920, McGILL UNIVERSITY

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

[For talks scheduled at 4pm, cookies and coffee will be at 3:30, before the talk.]

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
New York City Category Seminar
Upcoming Categorical meetings elsewhere

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
Seminars and abstracts from 2006-2007
Seminars and abstracts from 2007-2008
Octoberfest 08
Seminars and abstracts from 2008-2009