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