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

Seminars scheduled in 1998-99

Tuesday, 1 Sept 1998

2:00 - 3:30 : R Cockett (Calgary)
Restriction categories and categories of partial maps
(Abstract available, also in PostScript format.)

Tuesday, 8 Sept 1998

2:00 - 3:30 : J Koslowski (TU Braunschweig)
Games and strategies via the Chu construction
(Slides available.)

Tuesday, 15 Sept 1998

2:00 - 3:30 : M Makkai (McGill)
Joyal's theta categories and their relations to protocategories

Tuesday, 22 Sept 1998

2:00 - 3:30 : M. Fiore (Sussex)
A semantic theory of higher-order syntax:
An analysis of the differential equation X = V + X' + X ²

Tuesday, 29 Sept 1998

2:00 - 3:30 : E Landry (McGill - Philosophy Dept)
Category Theory -- The Language of Mathematics
The paper given at this talk is available in MSWord format, in PostScript format, and in HTML format.
(Note: The HTML version is the result of automatic conversion, and does not have exactly the same format as the original MSWord document. In particular, it is missing footnotes and references. The PS version seems to be more faithful.)
4:00 - 5:00 : Sjoerd Crans (McGill)
Introducing post-modern algebra according to
(Abstract)

Tuesday, 6 Oct 1998

2:00 - 3:30 : E Schlaepfer (McGill)
On Chu-spaces and group algebras
(Abstract)
4:00 - 5:00 : M. Barr (McGill)
Simple duality for finite simplicial complexes
An informal talk
(Abstract)

Tuesday, 13 Oct 1998

2:00 - 3:30 : Thomas Hildebrandt (BRICS Aarhus)
A Relational Model of Nondeterminate Dataflow
Joint with P. Panangaden and G. Winskel

Tuesday, 20 Oct 1998

2:00 - 3:30 : M Barr (McGill)
On *-autonomous categories

Tuesday, 27 Oct 1998

2:00 - 3:30 : J. Lamarche (UQAM - Linguistics)
Semantic type in linguistic context
(Abstract)
4:00 - 5:00 : M Fiore (Sussex)
A Theory of Recursive Domains with Applications to Concurrency
(Abstract)

Tuesday, 10 Nov 1998

2:00 - 3:30 : Sjoerd Crans (McGill)
Braidings the post-modern way
(Abstract)

Tuesday, 17 Nov 1998

2:00 - 3:30 : Masahiro Hamano (visiting U Ottawa)
Z-modules and Full Completeness of Multiplicative Linear Logic
(Abstract)

Tuesday, 24 Nov 1998

2:00 - 3:30 : Masahiro Hamano
Pontrjagin Duality and a Full Completeness of Multiplicative Linear Logic Without the Mix Rule
(Abstract)

Tuesday, 1 Dec 1998

2:00 - 3:30 : C. Butz (McGill)
Geometric morphisms and logic
(Abstract)

Tuesday, 12 January 1999

2:00 - 3:30 : E Schlaepfer (McGill)
Another Group Algebra

Tuesday, 19 January 1999

2:00 - 3:30 : Sjoerd Crans (McGill)
How braidings the post-modern way give rise to old-fashioned braidings, and the failure of this in higher dimensions
(Abstract)

4:00 - 5:00 : M Makkai (McGill)
A duality involving Joyal's disks and omega-categories
(joint work with Marek Zawadowski)
(Abstract)

Tuesday, 26 January 1999

2:00 - 3:30 : J Lambek (McGill)
Bicategories in algebra and linguistics

4:00 - 5:00 : M Makkai (McGill)
A duality involving Joyal's disks and omega-categories II

Tuesday, 2 February 1999

2:00 - 3:30 : C Butz (McGill)
Finitely presented Heyting algebras as bi-Heyting algebras
(Abstract)

4:00 - 5:00 : M Makkai (McGill)
A duality involving Joyal's disks and omega-categories III

Tuesday, 9 February 1999

2:30 - 3:30 : M Makkai (McGill)
A duality involving Joyal's disks and omega-categories IV

16 February 1999

2:00 - 3:30 : V Harnik
Significant fragments of classical analysis
(ABSTRACT)

23 February 1999

Spring Break

2 March 1999

2:00 - 3:30 : M Makkai
A duality involving Joyal's disks and omega-categories V

9 March 1999

2:00 - 3:30 : Sjoerd Crans
Yang-Baxter systematically
(Abstract)

16 March 1999

2:00 - 3:30 : Paddy McCrudden
Tannaka duality and quantum groups
(Abstract)

A PROPOSAL has been made by Mickael Makkai for a new seminar series; in addition he has given a progress report on related work. Suggestions or reactions ought to be sent to him

23 March 1999

2:00 - 3:30 : Marta Bunge
Distribution Algebras
(Abstract)
4:00 - 5:00 : Paddy McCrudden
Categories of Representations of Balanced Coalgebroids, Part I.

30 March 1999

2:00 - 3:30 : Paddy McCrudden
Categories of Representations of Balanced Coalgebroids, Part II
4:00 - 5:00 : Sjoerd Crans
What's in store in dimension 4
(Abstract)

6 April 1999

2:00 - 3:30 : RAG Seely
Introduction to Linear Bicategories
(Abstract)

The CRTC has invited the "Higher Dimensional Algebra Seminar" to present (some of) its "deliberations" in the weekly seminar during the spring. We shall begin this week with a talk by M Makkai. Feedback on this arrangement is welcome, of course.

4:00 - 5:00 : M Makkai
Low dimensional examples of some concepts in higher dimensional categories

13 April 1999

2:00 - 3:30 : Carsten Butz
Logical aspects of the filter construction.
(Abstract)
4:00 - 5:00 : Seminar on Higher Dimensional Algebra (M Makkai, organizer)

20 April 1999

2:30 - 4:00 : Seminar on Higher Dimensional Algebra (M Makkai, organizer)

27 April 1999

2:30 - 4:00 : Seminar on Higher Dimensional Algebra (M Makkai, organizer)
(Time subject to change if we have another speaker.)

4 May 1999

2:00 - 3:30 : Rene Lavendhomme (Louvain-la-Neuve)
Structure Symplectique sur un fibré cotangent en GDS
4:00 - 5:00 : Seminar on Higher Dimensional Algebra (M Makkai, organizer)

11 May 1999

2:00 - 3:30 : Carsten Butz
Bernays-Gödel Type Theory
4:00 - 5:00 : Seminar on Higher Dimensional Algebra (M Makkai, organizer)

18 May 1999

2:00 - 3:30 : Sjoerd Crans
Watch a dive in dimension 5
4:00 - 5:00 : Seminar on Higher Dimensional Algebra (M Makkai, organizer)

25 May 1999

2:00 - 3:30 : Claudia Casadio
Bilinear logic and minimalism
4:00 - 5:00 : Seminar on Higher Dimensional Algebra (M Makkai, organizer)