Seminars of the
CENTRE de RECHERCHE en THEORIE des CATEGORIES
CATEGORY THEORY RESEARCH CENTER
C ---------> R
| / |
| / |
| / |
| / |
v / v
T ---------> C
Tuesday, 4 February 1997
2:30 - 4:00 M Markl
Coherence constraints via cohomology /
weakly distributive categories
Tuesday, 11 February 1997
2:30 - 4:00 M. Makkai (McGill)
Opetopic sets and higher dimensional categories
Tuesday, 18 February 1997
2:30 - 4:00 M Zawadowski (Warsaw)
'Model Completions and r-Heyting Categories'
Tuesday, 4 March 1997
2:30 - 4:00 B Rumbos
'Order in economics'
Tuesday, 11 March 1997
2:30 - 4:00 Paddy McCrudden (Macquarie)
Comodule categories
Tuesday, 18 March 1997
2:30 - 4:00 Kira Adaricheva (McGill)
Convex Geometries And Join-Semidistributive Lattices
(with V.Gorbunov)
ABSTRACT: We study the interconnections between two kinds of closure systems
(combinatorial geometries) and two classes of lattices satisfying two
different generalizations of the distributive law. If the connection between
geometries (as convex systems with exchange axiom) is well-known, the
lattice description of convex geometries (i.e. closure systems with
anti-exchange axiom) was far from known. In opposition to the notion of
geometrical lattice we introduce the new notion of co-geometrical lattice,
and prove results that may be thought of as analogous to the celebrated
B.Jonsson's theorem on classification of lattices with respect to the type
of the embedding into geometrical lattice Eq(X), the lattice of equivalence
relations on a set X.
Tuesday, 22 April 1997
2:30 - 4:00 Claudia Casadio (Ravenna)
Noncommutative linear logic in linguistics
Monday, 2 June 1997
11:00 - 12:30 J Power (Edinburgh)
Higher dimensional multicategories
Monday, 2 Sept 1997
2:30 - 4:00 H Kleisli
On the construction of induced representations of groups
Tuesday, 9 Sept 1997
2:10 - 3:30 Dr. Mamuka Jibladze (Georgian Academy of Sciences)
Initial algebra for the lift endofunctor.
4:00 - 5:00 R. Blute (Ottawa)
First "operads reading course" seminar
Tuesday, 16 Sept 1997
2:10 - 3:30 Dr. Mamuka Jibladze (Georgian Academy of Sciences)
Moerdijk's generalized Diaconescu's theorem -- an application.
4:00 - 5:00 Second "operads reading course" seminar
Tuesday, 23 Sept 1997
2:10 - 3:30 B. Eckmann
Linearization: Some relations between
topology and real algebra
4:00 - 5:00 Third "operads reading course" seminar
R. Street, "Parenthetic Remarks"
Tuesday, 30 Sept 1997
2:10 - 3:30 J. Desharnais (McGill)
Bisimulation for Markov Processes
4:00 - 5:00 Michael Batanin (Sydney)
2-Operads
Tuesday, 7 Oct 1997
2:10 - 3:30 A. Kock (Aarhus)
Bianchi Identity, and Extensions of Groupoids
4:00 - 5:00 N. Yanofsky (McGill)
Permutohedra, Associahedra and Permuto-associahedra
("Operads reading course seminar)
Tuesday, 21 Oct 1997
2:10 - 3:30 M. Barr (McGill)
"Some properties of the Chu construction".
Tuesday, 28 Oct 1997
2:10 - 3:30 N Yanofsky (McGill)
"Obstructions to Coherence".
4:00 - 5:00 P Panangaden (McGill)
"Operads reading course" seminar
Tuesday, 4 Nov 1997
2:10 - 3:30 P Ruet (McGill)
Non-commutative linear logic
4:00 - 5:00 P Panangaden (McGill)
"Operads reading course" seminar
Tuesday, 11 Nov 1997
1:30 - 2:30 P Panangaden (McGill)
Operads seminar
3:00 - 4:30 Hans-Peter Kunzi (York U)
Topological Banach Balls.
Tuesday, 18 Nov 1997
2:10 - 3:30 Michael Brame (U Washington, Seattle)
Where does infinity come from? Idempotency and
duality in natural language.
Tuesday, 25 Nov 1997
2:10 - 3:30 J. Lambek (McGill)
Type grammar revisited
Tuesday, 2 Dec 1997
2:10 - 3:30 RAG Seely (McGill)
"Feedback for linearly distributive categories"
This term we plan a reading course on operads and related matters - further
information will be posted as we preceed. This has meant that the starting
time for the CRTC seminars is a bit earlier than usual - 2:10 instead of
2:30. This is flexible; we may adjust things as we get on.
COFFEE as usual after the first talk
PLACE: BURNSIDE HALL 920, McGILL UNIVERSITY