Seminars of the

           CENTRE de RECHERCHE en THEORIE des CATEGORIES
                 CATEGORY THEORY RESEARCH CENTER

                       C  --------->  R

                       |           /  |
                       |         /    |
                       |       /      |
                       |     /        |
                       v   /          v

                       T  --------->  C



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


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 on webpage)


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


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 on webpage)


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