PRELIMINARY SCHEDULE OF "CATEGORY THEORY 1991" June 23-30, 1991 McGill University, Montreal Sunday, June 23 1:00-6:00 Registration in Bronfman Bldg. 8:00 (PM) Reception in Thompson House Monday, June 24 8:30 Registration in Bronfman Bldg 9:30 Abramsky, Samson: TBA 11:00 Carboni, Aurelio: Recent developments on affine and Mal'cev categories A:1:30 Chen, Hong (Andy): Categorical programming languages 2:05 Bonacina, M. Paola: A category theory approach to completion-based theorem proving strategies 2:40 Mulry, Philip S.: Strong monads, algebras and fixed points 3:40 Blute, Richard: Linear logic, coherence theorems and dinaturality 4:15 Rosebrugh, Robert: Relational databases and indexed categories B:1:30 Diers, Yves: A new universal construction in the category of commutative rings 2:05 Dula, Giora: A functor from groupoids to rings 2:40 Borceux, Francis: Morita theory for algebraic theories 3:40 Bourn, Dominique: Normalization equivalence, kernel equivalence and affine categories 4:15 Pedicchio, M.C.: Mal'cev categories Tuesday June 25 9:00 Lamarche, Francois: It is time to generalize Grothendieck toposes 10:30 Jardine, John F.: Homotopy theory and coherence A:1:00 Otto, James: Higher order initial models I: from fl to lcc 1:35 Freyd, Peter: Formal Methods 2:10 Rumbos, Beatriz: Transition probability and non-commutativity of states 3:10 Cockett, Robin: The fundamental theorem of data structures for a locos B:1:00 Hardie, Keith: Comparing the classical and coherent homotopy sets under A and over B 1:35 Steiner, Richard: Nerves and tensor products of multiple categories 2:10 Moerdijk, Ieke: Diaconescu's theorem and classifying spaces 3:10 Tierney, Myles: TBA 3:45 Joyal, Andre: TBA 4:20 Bunge, Marta: Indexed categories and distributions on toposes Wednesday June 26 9:00 Pitts, Andrew: Toposes and Heyting algebras 10:30 Isbell, John: Descriptive local theory A:1:00 Lozanov, Rumen: Kleene's theorem for categories 1:35 Benabou, Jean: Some aspects of definability 2:10 Reyes, Gonzalo: TBA 3:10 Picado, Jorge: On two extensions of Dickson's torsion theory B:1:00 Janelidze, Georg: Higher dimensional galois theory: the first version 1:35 Gordon, Robert: Categories enriched over closed bicategories 2:10 Kelly, Gregory M.: Closed and cartesian closed bicategories 3:10 MacDonald, John: Soft adjunctions and 2-level algebras 3:45 Datuashvili, Tamaz: On the category of internal categories in the category of groups with operations 7:00 BANQUET Thursday June 27 9:00 Trnkova, Vera: Functorial selection of morphisms 10:30 Wood, Richard: Adjoint quadra-modules EXCURSION Friday June 28 9:00 Street, Ross: Diagrams for tensor categories with duality 10:30 Pelletier, Joan: Quantales of linear relations A:1:00 Niefield, Susan: Quantales and Boolean quotients 1:35 Rosenthal, Kimmo: Quantaloidal nuclei - the syntactic congruence and tree automata 2:10 Roman, Leopoldo: Quantum logic and Girard quantales 3:10 Flagg, Robert: Quantales and continuity spaces 3:45 Zangurashvili, Dali: Some categorical algebraic properties of functors with values in categories without products 4:20 Squire, Richard: Maximally ordered objects in a topos B:1:00 Pachuashvili, Beso: Cohomologies of Steenrod algebra with coefficients in cohomologies of topological space 1:35 Grandis, Marco: Homological algebra in homological categories 2:10 Pachkoria, Alex: Homological algebra in the category of commutative monoids 3:10 MacLane, Saunders: Monoidal categories, coherence and quantum fields 3:45 Majid, Shahn: Braided groups and duals of monoidal categories 4:20 Lyubashenko, Vladimir: Rational modular tensor categories and CFT Saturday June 29 9:00 Moggi, Eugenio: The mathematical structure of programming languages 10:30 Meloni, Gian Carlo: Topological and relational semantics for predicative classical modalities A:1:00 Richter, Gunther: Categorical descriptions of categories of Hausdorff spaces 1:35 Ageron, Pierre: Cartesian closed categories of accessible categories 2:10 Hu, Hongde: Duality for some accessible categories 3:10 Nel, Louis D.: Existence theorems in analysis via categorical methods 3:45 Koslowski, Juergen: Hereditary and modal closure operators, hulls and cores B:1:00 Sobral, Manuela: Remarks on the change-of-base functor 1:35 Pavlovic, Dusko: Functional comprehension and relative toposes 2:10 Sun, Shu-Hao: Sheaf representations of universal algebras 3:10 Tavakoli, Javad: Omega-valued internal sheaves in a topos 3:45 Jarzembski, Grzegorz: Topological properties of free spectra of categories of mixed structures 4:20 Kock, Anders: Local equivalence relations and their sheaves __________________________________________________________ THE FINAL SCHEDULE WILL BE DETERMINED ON MONDAY JUNE 23. THE FOLLOWING TALKS ARE TENTATIVE: Bauer, F. W.: A strong shape category Betti, Renato: Algebraic categories over topoi Brown, Ronnie: Crossed Differential Graded Algebras Duskin, Jack: TBA Guitart, Rene: Classe caracteristiques des esquisses fibrees Hoehnke, Hans-Juergen: Loop categories Nassopoulos, George F.: An internal characterization of the base category V. Obtulowicz, Adam: Higher level families of structures & their applications Popescu, Nicolae: Valuations on K(X) Pumpluen, D.: Convex spaces Taylor, Paul: TBA Topencharov, Vladimir: Diagonal categories in double and n-tuple categories Trimble, Todd: TBA Vermeulen, Japie: Perfect descent Zawadowski, Marek: Descent techniques in categorical doctrines ALL TALKS WILL BE IN THE BRONFMAN BUILDING OF MCGILL UNIVERSITY AT 1001 SHERBROOKE W., MONTREAL THE RECEPTION SUNDAY EVENING WILL BE HELD IN THOMPSON HOUSE AT 3650 MCTAVISH ST. FURTHER INFORMATION: mt16@musica.mcgill.ca