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

1-day workshop held at McGill in conjunction with the Makkaifest, 18 June 2009

Seminars scheduled in 2008-2009

Next talk

16 September 2008

2:30 - 4:00   Eduardo Dubuc
Hakim duality for mv-algebras
[Abstract]

23 September 2008

2:30 - 4:00   Victor Harnik
Computads and multitopic sets: two ways of specifying cells in higher dimensional categories
[Abstract]

30 September 2008

2:30 - 4:00   Brendan Cordy
Constructing Final Coalgebras with Modal Logic
[Abstract]

4 & 5 October 2008

Octoberfest 2008.

7 October 2008

2:30 - 4:00   Michael Makkai
Revisiting bicategories: a prelude to revisiting tricategories

21 October 2008

2:30 - 4:00   Gavin Seal
Order-adjoint monads
[Abstract]

28 October 2008

4:10 - 5:10   Michael Barr
Duality of Z-groups
[Abstract]

4 November 2008

(3:30 - 4:00   Coffee)
4:00 - 5:10   Jiri Rosicky
Generalized Brown representability

11 November 2008

(3:30 - 4:00   Coffee)
4:10 - 5:10   Michael Barr
Duality of Z-groups II
[Abstract]

18 November 2008

2:00 - 3:30   Phil Scott
Geometry of Interaction I
3:30 - 4:00   Coffee
4:00 - 5:30   Walter Burgess & Robert Raphael
Clean Rings

25 November 2008

2:00 - 3:30   Phil Scott
Geometry of Interaction II
3:30 - 4:00   Coffee
4:00 - 5:30   Claudio Hermida
Coherence for Lax and Pseudo-algebras revisited: Universality

2 December 2008

2:30 - 4:00   Michael Makkai
Structures on the straight (=strict; ordinary) category of bicategories
(following on the footsteps of André Joyal, Steve Lack, and others)

9 December 2008

2:30 - 4:00   Ivan Ivanov
Model of Linear Logic based on von Neumann modules
[Abstract]

17 February 2009

2:30 - 4:00   Samson Abramsky
Temperley-Lieb algebras: from knot theory to logic and computation via quantum mechanics.
[Abstract]

7 April 2009

2:30 - 4:00   M Barr
A duality for certain module categories
Joint with J. Kennison and R. Raphael
[Abstract]

21 April 2009

2:30 - 4:00   Shalom Lappin
Restricting Distributions for Computational Language Learning
[Abstract]

28 April 2009

2:30 - 4:00   Mehrnoosh Sadrzadeh
What is the vector space content of what we say?
A compact categorical approach to distributed meaning
[Abstract]

5 May 2009

2:30 - 4:00   Mehrnoosh Sadrzadeh
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
[Abstract]

12 May 2009

2:30 - 4:00   Claudio Hermida
Monoidal Indeterminates
[Abstract]

19 May 2009

2:30 - 4:00   David Spivak (University of Oregon)
Categorical information theory

 

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