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



Models, Logics and Higher-Dimensional Categories - a meeting in tribute to the work of Mihaly Makkai, CRM, Montreal, 18-20 June 2009

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

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 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  

Valid HTML 4.01 Transitional