
Centre de Recherche en Théorie des Catégories
-- Montréal --
Category Theory Research Center
Seminars scheduled in 2009-2010
-
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
RAG Seely
(rags@math.mcgill.ca)
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
Seminars from previous years (rough listings)
1991
1992
1993
1994
1995
Octoberfest '95
1996
1997
Barrfest '97
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009