From cat-dist@mta.ca Sun Jan 7 09:50:00 1996 Received: from macc1.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA09044; Sun, 7 Jan 1996 09:50:00 -0400 Date: Sun, 7 Jan 1996 09:48:42 -0400 (AST) From: categories To: categories Subject: two research positions Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Fri, 5 Jan 1996 12:06:46 +1100 From: Barry Jay The Algorithms and Languages Group ================================== University of Technology, Sydney http://linus.socs.uts.edu.au/~shape Two positions vacant -------------------- The Shape project is developing some exciting new ideas in the semantics of data types so that they can be incorporated into programming languages. The key concept is that data is stored in shapes (or containers, or structures) which can be described and manipulated separately from the data. Expected benefits are: - that programs will be able to act on inputs of arbitrary shape (shape polymorphism); - that shape errors (e.g. array bound errors) can be detected during compilation (shape analysis), and; - that (most) run-time operations will act on arrays. The ALG currently has two staff and four graduate students, with additional collaborators in Europe. Post-doctoral Research Fellowship --------------------------------- This position is associated with an ARC large grant to use shape to develop a parallel programming language suitable for numerical analysis. The successful applicant will assist in the design and implementation of the language. The position is full-time for two years at a salary range of $43,042 - $44,657 p.a., to start as soon as possible. A doctorate in computer science (or its equivalent) is essential. The candidate must be able to make a significant contribution to the project. The ideal candidate will have experience in implementing languages on parallel computers, optimisation of programs for parallel computers, functional programming, or type theory. The candidate must have initiative, be able to work well as part of a team, and communicate effectively. Research Assistant (Level 5) ---------------------------- This position is associated with an ARC small grant to produce a functional programming language that supports both shape polymorphism and the core types of ML. The position is for a programmer to build an interpreter for a prototype language, under supervision. Initially, the position is full-time for six months, though extensions may be possible. A part-time position over a longer period is also possible. The salary range is $29,332 - $33,556 p.a. A bachelor's degree in computer science or mathematics is essential. The candidate must have good programming experience, preferably with experience in functional programming. The candidate must be able to work well without close supervision, interact well with a team, and communicate effectively. Applicants for both positions should address initial enquiries to Barry Jay (cbj@socs.uts.edu.au). Copies of the selection criteria are available on request. Equal Employment Opportunity is University Policy. Applications which should include the names addresses, phone, fax and email of 3 referees should be sent to the undersigned by 5th February, 1995, to: ************************************************************************* | Dr C.Barry Jay, | | Head, Algorithms and Languages Group, Phone: (61 2) 330 1814 | | School of Computing Sciences, Fax: (61 2) 330 1807 | | University of Technology, Sydney, e-mail: cbj@socs.uts.edu.au | | P.O. Box 123 Broadway, 2007, www: linus.socs.uts.edu.au/~cbj | | Australia. ftp: ftp.socs.uts.edu.au/Users/cbj | ************************************************************************* From cat-dist@mta.ca Wed Jan 10 14:32:51 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA07246; Wed, 10 Jan 1996 14:32:50 -0400 Date: Wed, 10 Jan 1996 14:30:32 -0400 (AST) From: categories To: categories Subject: factorisation of generalised geometric morphisms Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Wed, 10 Jan 1996 13:55:18 MEZ From: Thomas Streicher I have the following question about factorisation of partial geometric morphisms (i.e. pullback preserving functors having right adjoints). It is well known that a pullback preserving functor F : A -> B between lex categories factors as A ---> B/F1 ---> B (where F_1 X = F(X->1) ) F_1 Sigma_F1 where, of course, F_1 is lex. Moreover F_1 has right adjoint eta_1* o U_F1 provided F -| U. Now my question is whether one can obtain something similar if A and B are PARTIAL LEX, i.e. have pullbacks and binary products but not a terminal object. In that case we can perform for every I in A the same factorisation as above A/I ---> B/FI ---> B (where F_I(x:X->I) = F(x) ) F_I Sigma_FI What I wonder is whether there exists a maximal factorisation of F as A -> C -> B F' S s.t. F' preserves pullbacks and binary products and S preserves pullbacks and has a right adjoint T and F' has a right adjoint if F has a right adjoint . I have a tentative answer to that : namely take for C the pseudo-colimit of B/F(-) : A -> Cat. Then everything works but the requirement that S has a right adjoint. I'd be grateful for any pointers to literature, folklore results or ideas. Thomas Streicher From cat-dist@mta.ca Mon Jan 15 10:09:12 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA30426; Mon, 15 Jan 1996 10:09:11 -0400 Date: Mon, 15 Jan 1996 10:07:13 -0400 (AST) From: categories To: categories Subject: Cauchy-completion of bicategory? Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Mon, 15 Jan 1996 00:28:00 +0100 (MET) From: koslowj@iti.cs.tu-bs.de Hello, Has the notion of Cauchy-completion of a bicategory been considered? It looks to me that instead of looking at arbitrary idempotent 1-cells f together with an isomorphism \alpha : ff ---> f one has to look at those pairs where \alpha is associative. Without this requirement I seem to run into coherence problems. Any pointers to the literature would be welcome. Thank you! -- J"urgen Koslowski Institut f"ur theoretische Informatik TU Braunschweig Braunschweig, Germany From cat-dist@mta.ca Tue Jan 16 14:09:51 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA14088; Tue, 16 Jan 1996 14:09:51 -0400 Date: Tue, 16 Jan 1996 14:05:43 -0400 (AST) From: categories To: categories Subject: bimodules in a biclosed category Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Tue, 16 Jan 1996 08:11:29 -0500 From: Michael Barr Has anyone proved that if you take an "algebra" (actually monoid) object in a monoidal biclosed category that has equalizers and coequalizers, then the category of two-sided modules for that algebra is again a monoidal biclosed category. Mac Lane did this in 1965 when everything is symmetric (the tensor, the algebra and the modules) under the (surely irrelevant) assumption that the original category is also abelian. The fact is certainly true, but writing down the proof would be rather painful. Michael Barr From cat-dist@mta.ca Wed Jan 17 10:14:46 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA08153; Wed, 17 Jan 1996 10:14:45 -0400 Date: Wed, 17 Jan 1996 10:13:50 -0400 (AST) From: categories To: categories Subject: Re: bimodules in a biclosed category Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Wed, 17 Jan 1996 10:42:32 +0100 (MET) From: koslowj@iti.cs.tu-bs.de Hello, Regarding Michael Barr's question: I have this result for bi-closed bicategories, and actually talked about it in Halifax last year. Als Micheal rightly suspects, some of the proofs get tedious, and designing the relevant diagrams is something else, even using xy-pic! I hope that the paper will be finished by March. Best regards, -- J"urgen Koslowski Institut f"ur theoretische Informatik TU Braunschweig Braunschweig, Germany From cat-dist@mta.ca Wed Jan 17 10:14:50 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA08082; Wed, 17 Jan 1996 10:14:49 -0400 Date: Wed, 17 Jan 1996 10:13:59 -0400 (AST) From: categories To: categories Subject: Re: bimodules in a biclosed category Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Wed, 17 Jan 1996 12:22:32 +0000 From: Steve Vickers >Has anyone proved that if you take an "algebra" (actually monoid) object >in a monoidal biclosed category that has equalizers and coequalizers, >then the category of two-sided modules for that algebra is again a >monoidal biclosed category. Mac Lane did this in 1965 when everything >is symmetric (the tensor, the algebra and the modules) under the (surely >irrelevant) assumption that the original category is also abelian. The >fact is certainly true, but writing down the proof would be rather >painful. The question made me think - as perhaps it was meant to - of modules over non-commutative rings, and I wondered whether its scope was unnecessarily restricted in considering just 2-sided modules over a single algebra. We also know that there can be a rich and well-behaved structure for bimodules over two algebras: (A,B)-bimod tensor (B,C)-bimod is (A,C)-bimod B (A,B)-bimod hom (A,C)-bimod is (B,C)-bimod A (A,B)-bimod hom (C,B)-bimod is (C,A)-bimod B Does anyone know how to state the question to cover this more general context? But then what works for algebras ought also to work for algebroids, i.e. enriched categories. Steve Vickers. From cat-dist@mta.ca Wed Jan 17 11:14:35 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA13012; Wed, 17 Jan 1996 11:14:35 -0400 Date: Wed, 17 Jan 1996 11:13:34 -0400 (AST) From: categories To: categories Subject: Re: bimodules in a biclosed category Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Wed, 17 Jan 1996 10:00:03 -0500 From: Michael Barr - - Date: Wed, 17 Jan 1996 12:22:32 +0000 - From: Steve Vickers - - >Has anyone proved that if you take an "algebra" (actually monoid) object - >in a monoidal biclosed category that has equalizers and coequalizers, - >then the category of two-sided modules for that algebra is again a - >monoidal biclosed category. Mac Lane did this in 1965 when everything - >is symmetric (the tensor, the algebra and the modules) under the (surely - >irrelevant) assumption that the original category is also abelian. The - >fact is certainly true, but writing down the proof would be rather - >painful. - - The question made me think - as perhaps it was meant to - of modules over - non-commutative rings, and I wondered whether its scope was unnecessarily - restricted in considering just 2-sided modules over a single algebra. We - also know that there can be a rich and well-behaved structure for bimodules - over two algebras: - - (A,B)-bimod tensor (B,C)-bimod is (A,C)-bimod - B - - (A,B)-bimod hom (A,C)-bimod is (B,C)-bimod - A - - (A,B)-bimod hom (C,B)-bimod is (C,A)-bimod - B - - Does anyone know how to state the question to cover this more general - context? But then what works for algebras ought also to work for - algebroids, i.e. enriched categories. - - Steve Vickers. - - - - Actually, if the ground tensor is not symmetric, you cannot even define the notion of (A,B) bimodule. You can define that of left A, right B bimodule and that seems to be that. Perhaps that is what Steve means when he says (A,B) bimodule. In that case, he is, of course, correct. In fact, in writing this up, I find it less confusing to do the more general situation exactly as described. But I would rather not have to write it up if someone has already done it as it is rather unpleasant. Michael From cat-dist@mta.ca Thu Jan 18 12:03:53 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA28867; Thu, 18 Jan 1996 12:03:53 -0400 Date: Thu, 18 Jan 1996 12:01:15 -0400 (AST) From: categories To: categories Subject: XI EBL'96 Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Wed, 17 Jan 1996 20:14:09 GMT From: Ruy de Queiroz Second Announcement and Call for Contributions XI Brazilian Logic Conference (XI EBL'96) May 6-10, 1996 Salvador (Bahia), Brazil The XIth Brazilian Logic Conference/Encontro Brasileiro de Logica (XI EBL'96) will be held in Salvador, Bahia (Brazil), from the 6th to the 10th May 1996, sponsored by the Brazilian Logic Society (SBL). The conference will be dedicated to the memory of Professor Mario Tourasse Teixeira. Since 1977 the Brazilian logic community has organized national conferences under the aegis of SBL and in collaboration with the Centre for Logic, Epistemology and the History of Sciences (CLE) of the State University of Campinas (UNICAMP). The XI EBL will be held as a parallel event with the 3rd WoLLIC'96 (3rd Workshop on Logic, Language, Information and Computation) and the 6th SEMINFO (`6th Informatics Week'), which will take place in the campus of the Federal University of Bahia. Contributions are invited in the form of two-page (600 words) abstract in all areas of logic, including set theory, model theory, non-classical logics, algebraic logic, logic as related to computer science and philosophical logic. Submissions: Submissions, in the form of two-page abstracts (either paper copies or electronic) must be received by MARCH 8th, 1996 by the Programme Chair or the Secretary. Authors will be notified of acceptance by April 6th, 1996. Abstracts will be published in the Journal of the Interest Group in Pure and Applied Logics (ISSN 0945-9103). Selected contributed papers will be invited for submission to a special volume of the Proceedings of the conference to be published by an international publishing house. The location: Salvador, Capital of the Bahia state, the first European settlement of Portuguese America and the first Capital of Brazil, is where all the most important colonial buildings were constructed: churches, convents, palaces, forts and many other monuments. Part of the city historical center has been safekept by UNESCO since 1985. Five hundred years of blending Native American, Portuguese, and African influences have left a rich culture to its people, which can be felt on its music, food, and mysticism. Salvador is located on the northeastern coast of Brazil and the sun shines year round with the average temperature of 25 degrees Celsius. It is surrounded by palm trees and beaches with warm water. City population is around 2.5 million and life style is quite relaxed. Programme Chair: Prof. W. A. Carnielli and Prof. I. M. L. D'Ottaviano, Department of Philosophy and CLE, UNICAMP, P.O. Box 6133, 13081-970 Campinas, SP, Brazil, e-mail: carniell@ccsun.unicamp.br, itala@turing.unicamp.br. Tel/Fax: +55 192 393269 Programme Committee: X. Caicedo (Univ. de Los Andes, Bogota') W. A. Carnielli (UNICAMP, Campinas) N. C. A. da Costa (USP, Sao Paulo) J. J. da Silva (UNESP, Rio Claro) R. de Queiroz (UFPE, Recife) C. A. Di Prisco (IVIC, Caracas) I. M. L. D'Ottaviano (UNICAMP,Campinas) L. C. P. D. Pereira (PUC, Rio de Janeiro) A. M. A. Sette (UNICAMP, Campinas) M. Wrigley (UNICAMP, Campinas). Registration and further information: please contact Secretary of XI EBL CLE/UNICAMP, C.P. 6133 13081-970 Campinas, SP Brazil e-mail: clehc@turing.unicamp.br Tel/Fax: +55 192 393269 From cat-dist@mta.ca Thu Jan 18 12:03:58 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA29058; Thu, 18 Jan 1996 12:03:57 -0400 Date: Thu, 18 Jan 1996 12:03:01 -0400 (AST) From: categories To: categories Subject: bimodules in a biclosed category Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Thu, 18 Jan 1996 10:38:59 +1100 From: Ross Street In response to Michael Barr's question: Theorem: If V is a closed braided monoidal category which is complete and cocomplete then the bicategory V-Mod of V-categories, V-modules (sometimes called V-bimodules, V-distributors or V-profunctors), and V-module morphisms is a monoidal bicategory (meaning the hom of a tricategory with one object). However, in order for V-Mod to be braided, V must be symmetric in which case V-Mod is also symmetric (also called strongly involutory by Baez-Dolan). If you are only interested in monoids in V, just take the subbicategory of one-object V-categories. Of course, then, you can do with less completeness and cocompleteness on V. But yes, the detailed proof of this makes a long, but fairly routine, story. Brian Day and I are working on a paper "Monoidal bicategories and Hopf algebroids" which will contain a discreet amount of detail (along with other things). I have been talking about aspects of the paper in our Category Seminars. Regards, Ross From cat-dist@mta.ca Thu Jan 18 12:04:02 1996 Received: from macc1.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA27486; Thu, 18 Jan 1996 12:04:01 -0400 Date: Thu, 18 Jan 1996 12:03:50 -0400 (AST) From: categories To: categories Subject: Freydschrift -- change of editor Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Thu, 18 Jan 96 10:37 GMT From: Dr. P.T. Johnstone As previously announced on this mailing list, there will be a special issue of the Journal of Pure and Applied Algebra to mark Peter Freyd's 60th birthday. Formally, this issue is the proceedings of the Peripatetic Seminar meeting held in Edinburgh last October, which was also a celebration of Peter's birthday; but contributions are invited from any of Peter's friends who were unable to get to the Edinburgh meeting, as well. The closing date for submissions is 5 February 1996 (Peter's birthday). Originally, John Power was to have been Guest Editor for this special issue. Sadly, John has been unwell recently and has been advised to rest, so he will not be able to undertake this work, and I have agreed to take it over. The purpose of this message is therefore to ask people who are planning to submit papers for the special issue to send them not to John but to me at DPMMS, 16 Mill Lane, Cambridge CB2 1SB, U.K. If you have already sent off a paper to John, it will probably get forwarded to me; but it's advisable to send another copy direct to me, to be on the safe side. The deadline remains 5 February; it is particularly important that this date should be adhered to, since I am due to leave for a 6-week visit to Australia shortly afterwards, and any paper that fails to reach me in time to be sent off to a referee before I go will not be considered. Peter Johnstone From cat-dist@mta.ca Fri Jan 19 11:24:44 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA27711; Fri, 19 Jan 1996 11:24:44 -0400 Date: Fri, 19 Jan 1996 11:22:13 -0400 (AST) From: categories To: categories Subject: Theory and Applications of Categories: Abstracts, Volume 1 Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Thu, 18 Jan 1996 23:36:32 -0400 (AST) From: Bob Rosebrugh The table of contents and abstracts for Volume 1 (1995) of Theory and Applications of Categories follows. Access via the WWW is at http://www.tac.mta.ca/tac/ For subscriptions write to tac@mta.ca ---------------------------------------------------------------------- ISSN 1201-561X THEORY AND APPLICATIONS OF CATEGORIES Volume 1, 1995 Oriented singular homology Michael Barr 1 Functorial and algebraic properties of Brown's P functor Luis-Javier Hern\'andez-Paricio 10 On finite induced crossed modules, and the homotopy 2-type of mapping cones Ronald Brown and Christopher D. Wensley 54 Kan extensions along promonoidal functors Brian Day and Ross Street 72 Symmetric monoidal categories model all connective spectra R. W. Thomason 78 Distributive adjoint strings Robert Rosebrugh and R. J. Wood 119 A forbidden-suborder characterization binarily-composable diagrams in double categories Robert Dawson 146 Categorical data-specifications Frank Piessens and Eric Steegmans 156 On the size of categories Peter Freyd and Ross Street 174 -------------------------------------------------------------------- Oriented Singular Homology Michael Barr We formulate three slightly different notions of oriented singular chain complexes and show that all three are naturally homotopic to ordinary singular chain complexes. Theory and Applications of Categories, Vol 1, No. 1, 1-9. ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n1/v1n1.{dvi,ps} --------------------------------------------------------------------- Functorial and algebraic properties of Browns P functor Luis-Javier Hernandez-Paricio In 1975 E. M. Brown constructed a functor $\cal P$ which carries the tower of fundamental groups of the end of a (nice) space to the Brown-Grossman fundamental group. In this work, we study this functor and its extensions and analogues defined for pro-sets, pro-pointed sets, pro-groups and pro-abelian groups. The new versions of the $\cal P$ functor are provided with more algebraic structure. Examples given in the paper prove that in general the $\cal P$ functors are not faithful, however, one of our main results establishes that the restrictions of the corresponding $\cal P$ functors to the full subcategories of towers are faithful. We also prove that the restrictions of the $\cal P$ functors to the corresponding full subcategories of finitely generated towers are also full. Consequently, in these cases, the towers of objects in the categories of sets, pointed sets, groups and abelian groups, can be replaced by adequate algebraic models ($M$-sets, $M$-pointed sets, near-modules and modules.) The article also contains the construction of left adjoints for the $\cal P$ functors. Theory and Applications of Categories, Vol. 1, No. 2, 10-53 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n2/v1n2.{dvi,ps} ----------------------------------------------------------------------- On finite induced crossed modules and the homotopy 2-type of mapping cones, Ronald Brown and Christopher D. Wensley Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of classifying spaces of groups. Calculations of the cohomology classes of some finite crossed modules are given, using crossed complex methods. Theory and Applications of Categories, Vol. 1, No. 3, 54-71 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n3/v1n3.{dvi,ps} ------------------------------------------------------------------------ Kan extensions along promonoidal functors Brian Day and Ross Street Strong promonoidal functors are defined. Left Kan extension (also called "existential quantification") along a strong promonoidal functor is shown to be a strong monoidal functor. A construction for the free monoidal category on a promonoidal category is provided. A Fourier-like transform of presheaves is defined and shown to take convolution product to cartesian product. Theory and Applications of Categories, Vol. 1, No. 4, 72-78 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n4/v1n4.{dvi,ps} -------------------------------------------------------------------------- Symmetric monoidal categories model all connective spectra R. W. Thomason The classical infinite loopspace machines in fact induce an equivalence of categories between a localization of the category of symmetric monoidal categories and the stable homotopy category of -1-connective spectra. Theory and Applications of Categories, Vol. 1, No. 4, 79-118 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n5/v1n5.{dvi,ps} -------------------------------------------------------------------------- Distributive Adjoint Strings R. Rosebrugh and R. J. Wood For an adjoint string V -| W -| X -| Y : B --> C, with Y fully faithful, it is frequently, but not always, the case that the composite VY underlies an idempotent monad. When it does, we call the string distributive. We also study shorter and longer `distributive' adjoint strings and how to generate them. These provide a new construction of the simplicial 2-category, Delta. Theory and Applications of Categories, Vol. 1, No. 6, 119-145 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n6/v1n6.{dvi,ps} -------------------------------------------------------------------------- A forbidden-suborder characterization of binarily-composable diagrams in double categories, Robert Dawson Tilings of rectangles with rectangles, and tileorders (the associated double order structures) are useful as ``templates'' for composition in double categories. In this context, it is particularly relevant to ask which tilings may be joined together, two rectangles at a time, to form one large rectangle. We characterize such tilings via forbidden suborders, in a manner analogous to Kuratowski's characterization of planar graphs. Theory and Applications of Categories, Vol. 1, No. 7, 146-155 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n7/v1n7.{dvi,ps} --------------------------------------------------------------------------- Categorical Data-Specifications F. Piessens and E. Steegmans We introduce MD-sketches, which are a particular kind of Finite Sum sketches. Two interesting results about MD-sketches are proved. First, we show that, given two MD-sketches, it is algorithmically decidable whether their model categories are equivalent. Next we show that data-specifications, as used in database-design and software engineering, can be translated to MD-sketches. As a corollary, we obtain that equivalence of data-specifications is decidable. Theory and Applications of Categories, Vol. 1, No. 8, 156-173 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n8/v1n8.{dvi,ps} --------------------------------------------------------------------------- On the Size of Categories Peter Freyd and Ross Street The purpose is to give a simple proof that a category is equivalent to a small category if and only if both it and its presheaf category are locally small. Theory and Applications of Categories, Vol. 1, 1995, No. 9, 174-178 ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1995/n9/v1n9.{dvi,ps} From cat-dist@mta.ca Tue Jan 23 21:10:45 1996 Received: from macc1.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA16735; Tue, 23 Jan 1996 21:10:45 -0400 Date: Tue, 23 Jan 1996 21:08:29 -0400 (AST) From: categories To: categories Subject: draft paper: From Horn formula to Makkai sketch resolution Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Mon, 22 Jan 1996 23:42:51 -0500 From: James Otto Dear People, The plain text draft paper, whose title and abstract follows, is availabe by web or ftp at ftp://triples.math.mcgill.ca/pub/otto/res and is linked to ftp://triples.math.mcgill.ca/pub/otto/otto.html Best regards, Jim From Horn formula to Makkai sketch resolution J. Otto January 22, 1996 otto@triples.math.mcgill.ca Abstract. We provide a basis for logic programming into locally finitely presentable (or l.f.p.) categories. We thus begin to consider higher order logic programming. Horn formulas, in particular systems of equations, generalize to finite Makkai (or M-) sketches. Further, models of sets of Horn clauses generalize to, again called models and forming the l.f.p. categories, M-sketches orthogonal to sets of maps (axioms) between finite M-sketches. Resolutions compute maps (answers) from finite M-sketches (queries) to initial models. Resolutions are cospans and lift to compositions of special resolutions. From cat-dist@mta.ca Wed Jan 24 20:26:03 1996 Received: from macc1.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA19697; Wed, 24 Jan 1996 20:26:03 -0400 Date: Wed, 24 Jan 1996 20:25:10 -0400 (AST) From: categories To: categories Subject: Bangor WWW Pages Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Wed, 24 Jan 1996 16:36:43 +0000 From: "Prof R. Brown" We now have some material available on the world wide web for downloading as postscript files. The School of Mathematics, University of Wales, Bangor may be accessed at http://www.bangor.ac.uk/ma/ The following papers are available as postcript files via R. Brown's home page http://www.bangor.ac.uk/~mas010/home.html R. Brown and W. Dreckmann, ``Domains of data and domains of terms in AXIOM''. Abstract: This gives a general account and the source Axiom 2.0 code for directed graphs, free categories, free groupoids, which will give an impression of coding in Axiom. R. Brown and O. Mucuk, ``The monodromy groupoid of a Lie groupoid'', {\em Cah. Top. G\'eom. Diff. Cat}, 36 (1995) 345-369. Abstract: We show that under general circumstances, the disjoint union of the universal covers of the stars of a Lie groupoid admits the structure of a Lie groupoid, such that the projection has a monodromy property on the extension of local smooth morphisms. This completes a detailed account of results announced by J Pradines. R. Brown and O. Mucuk, ``Foliations, locally Lie groupoids, and holonomy'', {\em Cah. Top. G\'eom. Diff. Cat}, (1996) (to appear). Abstract: We show that a paracompact foliated manifold determines a locally Lie groupoid (or piece of a differentiable groupoid, in the sense of Pradines). This allows for the construction of holonomy and monodromy groupoids of a foliation to be seen as particular cases of constructions for locally Lie groupoids. R. Brown, ``Representation and computation for crossed modules'', Proceedings {\em Cat\'egories, Algebres, Esquisses, Neo-esquisses}, Caen, 1994, 6pp. Abstract: We argue for the need to develop `structural computation', to handle the translation of algebraic structures between equivalent categories. This is illustrated with the problem of the tensor product in the equivalent categories of crossed modules over groupoids, double groupoids with connection, 2-groupoids. R. Brown, M. Golasinski, T.Porter, and A.P.Tonks, ``On function spaces of equivariant maps and the equivariant homotopy theory of crossed complexes.'' 18pp Abstract: This paper gives an equivariant version of the homotopy theory of crossed complexes for the case of a discrete group action. The applications generalise work on equivariant Ellenberg-MacLane spaces, including the non-abelian case of dimension 1, and on local systems. It also generalises the theory of equivariant 2-types, due to Moerdijk and Svensson. Further we give results not just on the homotopy classification of maps, but also on the homotopy types of certain equivariant function spaces. (Indag. Math. (to appear)) R. Brown and T. Porter, ``On the Schreier theory of non-abelian extensions: generalisations and computations'', 21pp Abstract: Classically, a Schreier 2-cocycle for a group G involves functions on the 3-fold and 2-fold products of G with itself. We show how a crossed resolution may be used to give smaller and more computable presentations of such cocycles, which are determined by a presentation of G and identities among relations. This is a modern expression of ideas of Turing, 1938. R. Brown and C.D.Wensley, ``Computing crossed modules induced by an inclusion of a normal subgroup, with applications to homotopy 2-types'', 9pp Abstract: We suppose M, P are normal subgroups of a group Q and prove directly a value for the crossed Q-module induced from the crossed P-module M by the inclusion of P in Q. Using methods of free crossed resolutions, we calculate explicitly the k-invariant of this induced crossed module, in the case when Q/P is finite cyclic. We also use coproducts of crossed P-modules to obtain some general results on induced crossed modules, again when P is normal in Q. These results are applied to the 2-type of homotopy pushouts of certain maps of classifying spaces of discrete groups. This continues work of a previous paper, published in TAC, 1995, no.3. R. Brown and G. Janelidze, ``Van Kampen theorems for categories of covering morphisms in lextensive categories'', 9pp, (J. Pure Applied Algebra, to appear). Abstract: We show that lextensive categories are a natural setting for statements and proofs of the ``tautologous'' Van Kampen theorem, in terms of coverings of a space. R. Brown and G. Janelidze, ``Galois theory of second order covering maps of simplicial sets'', 10pp, submitted, 1995. Abstract: We give a version for simplicial sets of a second order notion of covering map, which bears the same relation to the usual coverings as do groupoids to sets. The Generalised Galois theory of the second author yields a classification of such coverings by the action of a certain kind of double groupoid. The following papers are available as postcript files via T. Porter's home page http://www.bangor.ac.uk/~mas013/home.html Bangor Maths Preprint No. 95.08 Spaces of maps into classifying spaces for equivariant crossed complexes. Authors: R. Brown, M. Golasinski, T. Porter, and A. Tonks September 13, 1995 (see above) Keywords: Equivariant homotopy, crossed complexes AMS Subject Classification: 55P91, 55U10, 55U35 Bangor Maths Preprint No.95.09 Title: Categorical Aspects of Equivariant Homotopy Authors:.-M. Cordier and T. Porter Date: September 13, 1995 Abstract: Using the theory of homotopy coherent Kan extensions, results of Elmendorf and Dwyer and Kan are generalised. This produces simplicially enriched equivariant versions of the singular complex / geometric realisation adjunction of the non- equivariant theory. Keywords: Homotopy coherent Kan extension, simplicially enriched categories, G-equivariant homotopy AMS Subject Classification: 55P91, 18G55, 18D20, 18G30 Type of file: LATEX or dvi No. of pages: 18 Bangor Maths Preprint No. 95.10 Title: Homotopy coherent category theory Authors: J.-M. Cordier and T Porter Abstract: This article is an introduction to the categorical theory of homotopy coherence. It is based on the construction of the homotopy coherent analogues of end and coend, extending ideas of Meyer and others. The paper aims to develop homotopy coherent analogues of many of the results of elementary category theory, in particular it handles a homotopy coherent form of the Yoneda lemma and of Kan extensions. This latter area is linked with the theory of generalised derived functors. Keywords: Simplicially enriched categories, Homotopy coherent ends and coends, Yoneda lemma AMS Subject Classification: 18D20, 18D05, 18G30, 18A99 Type of file: dvi, or Postscript No. of pages: 54 Bangor Maths Preprint No. 95.11 Title: Interpretations of Yetter's notion of G-coloring: simplicial fibre bundles and non-abelian cohomology Authors: T Porter Date: October 11, 1995 Abstract: This paper notes and explores the connection between Yetter's notion of G-coloring where G is either a finite group or a finite `Categorical group' and the theory of simplicial fibre bundles. This allows an interpretation of Yetter's topological quantum field theory in terms of equivalence classes of simplicial fibre bundles. If G is a finite categorical group, these fibre bundles have interesting lifting properties and their fibres are groupoids. Using recent results and descriptions of non-abelian cohomology due to Breen and Duskin, these fibre bundles are linked with non-abelian cocycles with coefficients in G. Keywords: Topological Quantum Field Theory, fibre bundle, non- abelian cohomology AMS Subject Classification: 81T99, 57N70, 55R99 Type of file: Postscript or dvi. No. of pages: 30 Prof R. Brown School of Mathematics Dean St University of Wales Bangor Gwynedd LL57 1UT UK Tel: (direct) +44 1248 382474 (office) +44 1248 382475 Fax: +44 1248 355881 email: mas010@bangor.ac.uk wwweb: http://www.bangor.ac.uk/~mas010/home.html wwweb for maths: http: //www.bangor.ac.uk/ma From cat-dist@mta.ca Wed Jan 24 20:26:49 1996 Received: from macc1.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA19957; Wed, 24 Jan 1996 20:26:48 -0400 Date: Wed, 24 Jan 1996 20:26:36 -0400 (AST) From: categories To: categories Subject: More on Mike Barr's question Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Thu, 25 Jan 1996 10:00:04 +1100 From: Ross Street There has been some further discussion between Mike Barr and me on modules between monoids in a complete, cocomplete, closed monoidal category. Mike responded: >If I have understood your theorem, it is claimed only for the case that >the original category is braided. I was interested in the genuinely >asymmetric case, so this doesn't apply. Although your arguments >are probably valid in that case, at a guess. Have I missed something? So I said: It looks as though **I** missed something. I didn't include the older fact well known to enriched category theorists: even without any symmetry or braiding, V-Mod is a bicategory in which all right extensions and right liftings exist (I don't like the word "biclosed"; I use "left closed", "right closed" and "closed" for both when dealing with a monoidal category). In particular, for any V-category A, each hom category V-Mod(A,A) is a closed monoidal category under composition (= tensor product) of modules (as before, I don't say "bimodules" either). Even more particularly you can take A to be a monoid in V. For this there ARE references. I believe Benabou, in his Louvain-la-neuve notes "Les Distributeurs" Rapport No 33 jan 1973, only looked at the case of V symmetric. Same is true of Bill Lawvere's "Metric spaces" paper. But it is not hard to generalise. My paper Enriched categories and cohomology, Quaestiones Math. 6 (1983) 265-283; MR85e:18007 does the non-symmetric case. But it does it more generally for V a bicategory (without commutativity you might as well have "several objects"). Other papers which build on this are: Cauchy characterization of enriched categories, Rendiconti del Seminario Matematico e Fisico di Milano 51 (1981) 217-233; MR85e:18006. (with R. Betti, A. Carboni, and R. Walters) Variation through enrichment, J. Pure Appl. Algebra 29 (1983) 109-127; MR85e:18005. (with A. Carboni, S. Johnson and D. Verity) Modulated bicategories, J. Pure Appl. Algebra 94 (1994) 229-282. Gordon and Power have also done Gabriel-Ulmer duality for W-Mod where W is a decent bicategory (homs locally presentable). JPAA? The recent thing with Brian Day looks at when V-Mod itself is "monoidal", a natural step beyond the above references & studied by Carboni, Walters et al in the case where V is a poset (or W is locally a poset). Best wishes, Ross From cat-dist@mta.ca Fri Jan 26 10:07:05 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA31854; Fri, 26 Jan 1996 10:07:04 -0400 Date: Fri, 26 Jan 1996 10:03:40 -0400 (AST) From: categories To: categories Subject: PhD Scholarships at Chalmers, Gothenburg Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Fri, 26 Jan 1996 13:47:48 +0100 (MET) From: Henrik Persson My sincere apologies if you receive this more than once. Please feel free to circulate it to others who may be interested. Best regards, Henrik ----------------------------------------------------------------------- The Department of Computing Science at the Chalmers University of Technology and G\"{o}teborgs University announces free PhD positions. The Department of Computing Science has about 30 staff members and about 25 PhD students. The department receives funding from Esprit, and from the Swedish Government agencies TFR and NUTEK. The major topics of research are programming logic and type theory, functional programming and concurrency, but research is also carried out in a number of other topics. Most PhD positions are five year scholarships. The PhD student will spend about 80 percent of his or her time on graduate studies, and about 20 percent on teaching. Applicants must have an undergraduate degree in Computer Science with excellent results. The department tries to increase the number of female employees, and especially welcomes female applicants. At the moment the scholarships consist of 14000 (17200) SEK per month in the first (last) year. More information about the graduate programmes can be found on the WWW on page: http://www.cs.chalmers.se/ComputingScience/Graduate To apply, send us a letter in English, covering 1 data about yourself; 2 a copy of an official paper giving grades from your undergraduate degree(s); 3 a statement about your main interests; 4 some letters of recommendation from people that know you as a student or as an employee; 5 any scientific papers you have written. Send your application to Section for Mathematics and Computer Science Chalmers University of Technology 412 96 Gothenburg Sweden Furthermore, send an email containing the data about yourself to johanj@cs.chalmers.se The last date for your application to arrive is March 1, 1996. A decision about to whom we will offer the PhD positions will be taken before June 1, 1996. From cat-dist@mta.ca Mon Jan 29 17:10:20 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA25297; Mon, 29 Jan 1996 17:10:20 -0400 Date: Mon, 29 Jan 1996 17:08:26 -0400 (AST) From: categories To: categories Subject: correction to `From ... resolution' Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Sat, 27 Jan 1996 08:31:41 -0500 From: James Otto Dear People, A correction was made to the 1-23-96 version of ftp://triples.math.mcgill.ca/pub/otto/res Regards, Jim 1-27-96 From cat-dist@mta.ca Wed Jan 31 14:15:00 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA27340; Wed, 31 Jan 1996 14:14:59 -0400 Date: Wed, 31 Jan 1996 14:12:39 -0400 (AST) From: categories To: categories Subject: groupoids Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Wed, 31 Jan 1996 09:12:09 -0800 (PST) From: Alan Weinstein Dear Colleagues, I've just finished a survey article entitled "Groupoids: unifying internal and external symmetry", which I have submitted to the Notices of the AMS. It is available as a postscript file via email (alanw@math.berkeley.edu) or my web page (http://math.berkeley.edu/~alanw). Comments are welcome, of course. Alan Weinstein From cat-dist@mta.ca Wed Jan 31 16:00:42 1996 Received: from bigmac.mta.ca by mailserv.mta.ca; (5.65/1.1.8.2/09Sep94-0117PM) id AA03829; Wed, 31 Jan 1996 16:00:41 -0400 Date: Wed, 31 Jan 1996 15:59:57 -0400 (AST) From: categories To: categories Subject: TSM - Second Announcement Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Mon, 29 Jan 1996 19:33:17 -0500 (EST) From: York cat TORONTO SPRING MEETING A Weekend Meeting on Category Theory and Its Applications YORK UNIVERSITY, North York (Metropolitan Toronto) Saturday/Sunday, April 13/14, 1996 Second Announcement Principal Speakers: Andre JOYAL, Universite de Quebec a Montreal Robert PARE, Dalhousie University, Halifax Cristina PEDICCHIO, Universita di Trieste Registration: There is a registration form attached to this message. If you intend to attend the meeting, please fill it out as soon as possible and return it to yorkcat@mathstat.yorku.ca There will be a registration fee, payable upon arrival, of $25 per employed participant ($12 for others) to cover expenses for refreshments and a common lunch on Saturday. Contributed talks: There will be morning and afternoon sessions for contributed talks on April 13 (starting at 9 a.m.) and a morning session on April 14 (ending by 2 p.m.). Talks will be a maximum of 30 minutes each. Anyone who is interested in speaking at the meeting should indicate this on the registration form. If there are more potential speakers than time slots, the organizers will endeavour to follow the policy of first-come-first-served. Location of meeting: The meeting will take place on the main campus of York University, 4700 Keele St, North York, which is in the northwestern area of Metropolitan Toronto. Highway 401 is the best major highway for accessing the campus by car. There is an exit for Keele St off 401; York University is approximately 4-5 miles north of 401, north of Finch Avenue. There are traffic lights and a large sign at the main entrance of the University, which is on the left-hand (west) side of Keele. Specificc directions about reaching the university from various accommodations are given below. Detailed information concerning the venue of the conference will be given in the Third Announcement. Maps will be installed on the WWW (see below); hardcopies can be mailed to participants upon request. Travel: Having a car in Toronto would be an advantage and would maximize enjoyment of the weekend. However, public transportation is good, and we shall suggest a number of hotels from which the Univeristy is easily accessed. Pearson International Airport is not far from the University. Taxi fare to the University or environs is approximately $25-30. Taxi fare to downtown hotels is approximately $30-40. There is also a bus connection with the downtown hotels and with the Yorkdale Shopping Centre, which also has a subway stop; for further information, see below. Participants from Montreal can also book flights which arrive at the downtown Island Airport. Union Station, the train terminal, is located downtown across from the Royal York Hotel and not far from the other downtown hotels. The bus terminal is also located conveniently downtown. Accommodations: We have reserved a small contingent of guest rooms in the student dormitories ($25 per night) which will be given with preference to graduate students. In general we recommend that participants reserve rooms in one of the North York or downtown hotels listed below. All hotels with the exception of the Holiday Inn Express (details below) should be called directly. Your choice of accommodation should be guided by cost and additional planned activities during your stay. Hotels near the campus will shorten transportation time to the meeting, but they are generally not in scenic areas. We point out that for those who can extend their stay or arrive early on Friday, Toronto offers a wide selection of museums, live theatre, and musical or sporting events, as well as excellent shopping and restaurants. To take full advantage of these activities, a downtown hotel or hotel near the subway line is recommended. Saturday night: In view of the length of the meeting and the scope of activities in Toronto, we have decided to forego a saturday evening party. We will have information on recommended restaurants at the meeting and will circulate some information on cultural events with the Third Announcement. Welcome reception on Friday night: Participants are invited to an informal welcome party on friday night with wine and cheese in Walter Tholen's home beginning from 8 p.m. Directions will be given in the Third Announcement. Information on the web: Up-dated information on the TSM can be obtained on Walter Tholen's home page on the World Wide Web: htpp://www.math.yorku.ca/Who/Faculty/Tholen/menu.html Please see below for information on hotels, public transport, airport buses, and for the registration form. The Third Announcement will be circulated before April 1. We hope to see you in Toronto in April! Xiaomin Dong Sandro Fusco Joan Wick Pelletier Walter Tholen ******************************************************************************** Hotel list: This list is divided in two groups, North York and Downtown. The hotels in North York will allow for a shorter commuting distance to the university than the downtown hotels. They are comfortable and reasonably priced. However, with the exception of Novotel, they are located in industrial or commercial areas of the city and, hence, do not offer attractive scenery. The downtown hotels provide a generally attractive city ambience, but they may pose a Sunday morning transportation problem for participants without cars, since the subway does not run before 9 a.m. on Sunday. Thus, those who stay downtown must be prepared to take a taxi or a sequence of buses that morning. N O R T H Y O R K - Montecassino Place Hotel 3710 Chesswood Dr. (@ Sheppard) Tel. (416) 630-8100 Executive Queen Room: $58.04 Executive Double Room: $58.04 Remarks: - mention York U. (ask for Rosita DelGrande) when booking - complimentary continental breakfast, free outdoor parking - close to the subway line leading to downtown (take 106 or 108 bus eastbound, 5 mins) - if arriving by car, exit highway 401 at Allen Road and go north and then west on Sheppard - to reach the university by public transport, take the 106 bus westbound to York U (10 mins) - Howard Johnson Keele St & Hwy 401 Tel.(416) 636-4656 Single Room: $75 (+$10 for breakfast) Double Room: $85 (______"___________) Remarks: - mention York U when booking - free parking (outdoor or covered parkette) - if arriving by car, exit highway 401 at Keele Street and go north - to reach the university by public transport, take any Keele bus north to York U (get off at the main gate of the Universty, 10 min. walk to conference building) - Ramada Hotel 400-401 1677 Wilson Ave. (Jane & Wilson) Tel. (416) 249-8171 Single Room: $65 Double Room: $65 (+ $10 for each additional person) Remarks: - mention York University block of rooms when booking - free outdoor parking - shuttle service from and to the airport (one way fare: $5/person) - if arriving by car, exit highway 401 at Black Creek Drive/Jane Street, take Jane Street north and then go west on Wilson - to reach the university by public transport, take the Wilson bus (96 bus) east to Keele, then any Keele bus north to York U (get off at the main gate) - Holiday Inn @ Yorkdale Hwy 401 & Dufferin Tel. (416) 789-5161 Single Room: $93 Double Room: $93 Remarks: - mention Cat Theory TSM when booking - free outdoor parking - walking distance from subway line, and from Yorkdale Shopping Mall (2nd largest shopping mall in Toronto) - if arriving by car: * FROM Westbound Hwy 401: Exit Allen Rd., take Yorkdale Rd N. Follow along north side of Yorkdale Mall. At lights, cross over Dufferin St. to Bridgeland Ave.; hotel entrance is on south side, turn left to driveway. * FROM Eastbound Hwy 401: Exit Dufferin St. South. Turn right into Plaza Pontiac dealership; stay to right to enter hotel parking lot. - to reach the university by public transport, take the subway north to Wilson Stn. (one stop north), then the 106 bus to York U. (25 mins) - Novotel 3 ParkHome (3 lights north of Sheppard & Yonge) Tel. (416) 733-2929 Single Room: $89 Double Room: $89 Remarks: - ask for corporate rates for York U. - parking available for $8.25/day (IN/OUT privileges) - if arriving by car, exit highway 401 at Yonge Street and go north - to reach the university by public transport, take the subway to the Sheppard station or, on Sunday morning before 9 a.m.,any Yonge bus south to Sheppard subway stn., then the 84 bus west to Sentinel Rd, and FINALLY take the 106 bus north to York U - easy connection to downtown by subway (or by bus throughout the night), indoor walk to subway station - Holiday Inn Express 30 Norfinch Drive (@ Finch Ave) Tel. (416) 665-3500 Single Room: $46 Double Room: $46 Remarks: - to obtain the indicated rates, reservation must be done through yorkcat@mathstat.yorku.ca (see Registration Form below) - complimentary continental breakfast, free parking - if arriving by car, exit highway 400 at Finch Ave, go one block east - to reach the university by public transport, take the Finch bus (36 or 118) east to Sentinel Rd., then the 106 bus north to York U D O W N T O W N Note: all downtown hotels are within walking distance to the subway. - Days Inn Hotel 30 Carlton St (@ Yonge St) Tel. (416) 977-6655 Single Room: $59 Double Room: $59 (+ $5 for each additional person) Remarks: - mention Cat Theory TSM at York U when booking - indoor parking available for $11.50/day (IN/OUT privileges) - to reach the conference site by public transport, take the subway to Wilson Stn., then 106 bus to York U (stops on campus) , OR take the subway to Finch Stn., then the 60C or 60F bus to York U (stops off campus) - Town Inn Hotel 620 Church St (south of Bloor St) Tel. (416) 964-3311 North East USA call toll free: 1-800-387-2755 Single Suite (w kitchen): $75 Double Suite (w kitchen): $85 Remarks: - mention York U. Math Conference (ask for Cora) when booking - free continental breakfast - indoor parking available for $13/day (IN/OUT privileges) - to reach the conference site by public transport, see remarks for Days Inn Hotel - Delta Chelsea Inn 33 Gerrard St. West (@ Yonge St) Tel. (416) 595-1975 Single Room: $81 Double Room: $96 Remarks: - ask for corporate rates for York U when booking - underground parking available for $16/day (IN/OUT privileges) - to reach the conference site by public transport, see remarks for Days Inn Hotel - Royal York Hotel 100 Front St. West Tel. (416) 863-6333 Single Room: $121 Double Room: $121 (+ $20 for each additional person) Remarks: - ask for corporate rates for York U when booking - indoor parking available for $10/24 hrs + $4.50 for IN/OUT privileges - to reach the conference site by public transport, take the subway to Wilson Stn., then 106 bus to York U. Directions on how to reach the downtown area by car: - From Buffalo and Niagara Falls: Queen Elisabeth Way into Gardiner Expressway. Exit at Yonge Street, and go north. - From Detroit, Windsor or Montreal: Hwy 401 to Yonge Street, then go south. ******************************************************************************** Times of operation of public transport: SATURDAY First subway train from Union Stn.: 6:04am Last subway train from Union Stn.: 1:15am First 106 bus from Wilson Stn.: 6:00am (every 15 mins) Last 106 bus from Wilson Stn.: 2:15am First Keele bus from Hwy 401 going north: 5:12am SUNDAY First subway train from Union Stn.: 9:16am First 106 bus from Wilson Stn.: 7:45am (every 30 mins) Last 106 bus from Wilson Stn.: 1:15am First Keele bus from Hwy 401 going north: 6:58am ******************************************************************************** Information about Airport Express shuttles (a) International Airport <--> Yorkdale Shopping Mall Buses leave every 40 mins. First bus at 5:00am Ride is approximately 25 mins Fare: - one-way ticket $ 6.90 - return ticket $11.95 (valid for 1 year). (b) International Airport <--> Downtown Buses leave every 20 mins. First bus at 5:00am Ride is approximately 40 mins Fare: - one-way ticket $11.45 - return ticket $19.70 (valid for 1 year). The bus stops at Royal York Hotel, and Delta Chelsea Inn. From there, take the north connector (at no extra charge) for the other downtown hotels. ********************************* CUT HERE ************************************ Registration Form - Toronto Spring Meeting (To be returned to yorkcat@mathstat.yorku.ca at your earliest convenience) Name: I intend to attend the meeting: Yes/No I intend to give a talk: Yes/No/Do not know yet Title: (desired length 20/30 min.) Only if applicable, fill out the following: I would like to reserve - a room in a student dormitory from (arrival date) to (departure date) - a (single/double) room in the Holiday Inn Express from (arrival date) to (departure date) Please note: For bookings on campus or in the Holiday Inn Express prepayment will be reqired. Once we have received your registration, you will be contacted concerning payment.