March 1994 - Categories - categories.org.au

local homeomorphisms
by Peter Freyd 07 Apr '94

07 Apr '94

Peter Selinger, a student here at Penn, observes that the category of topological spaces and local homeomorphisms fails to be complete only because it fails to have a terminator. That is, every _non-empty_ small diagram has a limit. Who knows a reference for this? Peter Freyd

3 4

Workshop on foundational methods in Computer Science
by John MacDonald 31 Mar '94

31 Mar '94

Preliminary Announcement: Third Annual Workshop on Foundational Methods in Computer Science A workshop on applications of categories in compouter science Dates: June 3-5, 1994 Location: University of British Columbia, Vancouver, B. C. Overview: This will be the third year of the workshop on foundational methods in computer science. It is an "informal, even casual", workshop bringing together mathematicians and computer scientists with an interest in category theory and its applications to computer science. The workshop will have approximately the same format as last year, with a one day tutorial on June 3 and short research presentations on June 4 and 5. There will not be a formal proceedings. Guests: We are still in the process of contacting distinguished visitors and guests. Participation: People wishing to participate should send me email at fmcs(a)math.ubc.ca. We hope to encourage the participation of researchers at all levels in this workshop, including graduate students. Fees: I have made arrangements for accomodations on the UBC campus. The budget has not been completed so I don't yet have a registration fee calculated. I hope to keep the fees to an absolute minimum. An application for dormitory accomodation as well as the amount of registration fee will come in a further communication. Email address: fmcs(a)math.ubc.ca -------------------------------------------------------------------- John MacDonald, Department of Mathematics, UBC, Vancouver, B.C., Canada V6T 1Y4 johnm(a)math.ubc.ca Phone: (604) 822-3627 --------------------------------------------------------------------- Art Stone stone(a)math.ubc.ca Phone: (604) 421-3054

1 0

Second Announcement
by NIEFIELD, SUSAN 31 Mar '94

31 Mar '94

SECOND ANNOUNCEMENT UNION COLLEGE MATHEMATICS CONFERENCE April 9-10, 1994 Please reply to this message, if you plan to attend and have not yet contacted us. FRIDAY EVENING RECEPTION: 9:00 - 11:00 PM (Bailey Hall 204) SATURDAY 9:30 Registration, coffee, doughnuts (Bailey 204) 10:00 Parallel Sessions (Bailey Second Floor) 11:30 Invited Address I: Andre Joyal (Bailey 207) 12:30 Lunch (The College Center) 2:00 Parallel Sessions (Bailey Second Floor) 4:00 Coffee Break (Bailey 204) 4:30 Invited Address II: Peter May (Bailey 207) 5:30 Cocktails (Hale House Lower Lounge) 6:30 Banquet (Hale House Dining Room) 8:00 Dessert and Party (Milano Lounge) SUNDAY (Bailey Hall 2nd Floor) 9:00 Coffee and doughnuts (Bailey 204) 9:30 Invited Address III: Zoltan Balogh (Bailey 207) 10:30 Parallel Sessions (Bailey Second Floor) 12:00 Lunch (The College Center) 1:00 Parallel Sessions (Bailey Second Floor) 3:30 Conference ends CATEGORY THEORY SPEAKERS: A. Joyal, University of Quebec at Montreal "Money games" M. Barr, McGill University "Acyclic models" R. Blute, University of Ottawa "Linear Lauchli semantics" M. Bunge, McGill University "A characterization of Grothendieck toposes in Set-Modules" P. Glenn, Catholic University of America "Structures with a simplicially-defined higher dimensional composition" M. Kleiner, Syracuse University "Green correspondence for adjoint functors" J. Lambek, McGill University "Diagram chasing in Goursat categories" H. Hu, York University "Limits in free coproduct completions" M. Mannucci, CUNY "Modal geometric theories and their semantics" W. Tholen, York University "Locally split epis and effective descent" ALGEBRAIC TOPOLOGY SPEAKERS: J.P. May, University of Chicago "Derived Categories in Algebra and Topology" S. Costenoble, Hofstra University "Some strange facts about ordinary equivariant homology" T. Elmendorf, Perdue University Calumet "Remarks on the Cyclotomic Structure of THH" R. McCarthy, Brown University "The Calculus of Homotopy Functors and Algebraic K-Theory" R. Singer, Fordham University "Just how much does one require to induce a map of Tor?" SET-THEORETIC TOPOLOGY SPEAKERS: Z. Balogh, Miami University of Ohio "A solution to the small Dowker space problem" T. LaBerge, Union College "Forcing tightness in products of fans" S. Hechler, Queens College TBA A. Zarach, East Stroudsburg University "A model for ZF without power set" ACCOMMODATIONS: Blocks of rooms have been reserved at the Days Inn and the Holiday Inn in Schenectady. To obtain one of these rooms at the rates listed below, mention the Union College Mathematics Department when you call. Both are within easy walking distance of the campus. The Ramada Inn is also within walking distance of campus. 1. Holiday Inn (518) 393-4141 Single $55 Double $55 2. Days Inn (518) 370-0851 Single $45 Double $50 3. Ramada Inn (518) 370-7151 Single $63 Double $73 DIRECTIONS: >>From points South and East, take the New York Thruway to exit 25. Take I-890 to exit 7 (marked "NY 7 east to Troy"). Follow Route 7, turn left onto Balltown Road (marked "to 146"), and then turn left at the first traffic light onto Union Street. Follow Union Street and enter campus through Payne Gate on the right. Bailey Hall is on the east side of campus, just west of the athletic field. >>From points West, take the New York Thruway to exit 26, then I-890 to Erie Boulevard (exit 4). Follow Erie Boulevard to Union Street, turn right onto Union Street, and enter campus through Payne Gate on the left. Bailey Hall is on the east side of campus, just west of the athletic field. >>From points North, take the Northway (I-87) to exit 9 (marked "146 Clifton Park"). Turn right, follow 146 for about 6 miles to a traffic light, and turn left onto Balltown Road (still 146). Follow Balltown Road over the Mohawk River. Turn right onto Aqueduct Road (which becomes Van Vranken Avenue when it enters Schenectady) and continue until it ends at the Union College campus Nott Street gate. Bailey Hall is on the east side of campus, just west of the athletic field. Union College Department of Mathematics Schenectady, NY 12308 (518) 388-6246

1 0

Michael Spivak
by Elaine Swan 30 Mar '94

30 Mar '94

Can anyone supply me with an email address for Michael Spivak or the publishing company -- Publish or Perish Press? Thank you in advance

1 0

Math Report Hardcopies
by Ross Street 25 Mar '94

25 Mar '94

About 60 hardcopies of a 33 page preprint entitled "The category of representations of the general linear groups over a finite field" by Andre Joyal and myself has just come back from the Macquarie University printer. It is Macquarie Math Report # 93-141 (Dec 1993); a full treatment of the subject of Section 4 of our paper "Braided tensor categories" Advances in Math 102 (1993) 20-78. Since this is a categorical treatment of a fairly specialized topic, I do not intend to conduct a general mailing of the Report. However, if you would like a copy, I'll send one if you email me at <street(a)mpce.mq.edu.au> and provide your precise postal address. I believe Andre is having some hardcopies made at UQAM. [The paper is stored in computers at UQAM & Macquarie and can be sent via email, but requires my kinky software to decode.] --Ross Street

1 0

Reference wanted : Joyal, combinatorial functors
by Michael FOURMAN 25 Mar '94

25 Mar '94

Greetings! Apologies for broadcasting this, but I'm a bit isolated (visiting here until June) and need a reference. Can anyone supply a full reference for Andre Joyal's monograph on combinatorial functors? Many thanks, Mike Fourman

1 0

TEMPUS summer school
by unknown＠categories.mta.ca 24 Mar '94

24 Mar '94

The following announcement from the Theory Net looked relevant, Bob Rosebrugh

1 0

oriented homology
by Michael Barr 23 Mar '94

23 Mar '94

It is clear that the symmetric group on n + 1 letters acts on the nth singular chain group by permuting the arguments of a simplex. Suppose we divide out that action by identifying p(sigma) with sgn(p).sigma for each permutation p. This gives a quotient of the singular chain complex. Is it known if it is equivalent to it? The standard argument in the simplicial case seems to break down because two simplexes can have the same vertices without being the same. Michael Barr

2 1

None
by Pippo Scollo 23 Mar '94

23 Mar '94

First Announcement We are pleased to announce a summer school concentrating on ALGEBRAIC LOGIC AND THE METHODOLOGY OF APPLYING IT, July 11-17, 1994, Budapest, which is part of the TEMPUS Summer School series for Algebraic And Categorial Methods In Computer Science. This will be the third one in the above mentioned series of summer schools, attached to the TEMPUS project entitled "Algebraic and Categorial Methods in Computer Science". The summer school is sponsored by the European Community TEMPUS office. Planned courses include: Willem BLOK and Don PIGOZZI: General Algebraic Logic Vaughan PRATT: Chu Spaces: Theory and Applications Yde VENEMA: Boolean Algebras with Operators Istvan NEMETI and Hajnal ANDREKA: Algebras of Relations of Various Ranks & their Applications Decidability issues and logics related to the dynamic trend (workshop given by young researchers). (For the time being, Yde Venema accepted our invitation only tentatively.) We plan to have classes from 10-12 in the mornings and 14-17 in the afternoons from Monday to Friday and 10-12 on Saturday. ACCOMMODATION: In double bedrooms in Summer Hotel Hill, for 14 DM/day. The lectures will be in the same building. 25m swimming pool and several other sport facilities will be available. MEALS: Continental breakfast is available for 4 DM/day. Lunch is available for 5,3 DM/day. SOCIAL PROGRAMS: We plan a reception on Monday evening and a sight seeing afternoon on Wednesday. FEES: The registration fee is 120 DM. REGISTRATION: Please send name, address (including e-mail, if available) and gender to the organizing office by April 30, 1994 at the latest, but send it as soon as you can. Please indicate if you plan to bring a guest or indicate the name of participant with whom you wish to share accommodation. Also indicate if you have any special request (e.g. vegetarian meals). The second circular will be sent only to those who have answered the first circular. The number of participants is limited to 100 persons, therefore registrations will be accepted in the order of receipt. SCHOLARSHIPS: This year, unfortunately, the TEMPUS JEP is not allowed to give any grant to students from EC countries for participation at the summer school. All that they can offer is a grant for 1 professor from each of the partner universities. Grants for students from eastern partner universities are available in a limited number. Please, apply for them to the organizing committee. ORGANIZING COMMITTEE: Hajnal Andreka, Miklos Ferenczy, Istvan Nemeti and Ildiko Sain ORGANIZING SECRETARY: Corinna Farkas. ADDRESSES: Please send your correspondence to BOTH of the following two e-mail addresses: cora(a)ludens.elte.hu and h1468sai(a)ella.hu, or to the following mailing address: Ildiko Sain Mathematical Institute Hung. Acad. Sci. Budapest Pf. 127 H-1364 Hungary Fax: (36-1) 117-7166 (indicate: To Ildiko Sain) PLEASE, DISTRIBUTE THIS ANNOUNCEMENT FREELY. Hoping to hear from you, Best regards from the organizers.

1 0

corrections to ctcs
by Michael Barr 23 Mar '94

23 Mar '94

There is going to be a new edition of CTCS (hooray!!) that incorporates all known errata. So if any of you has a list of errors, now is the time to let us know. Please compare against the list that appears in my ftp directory on this computer under the name ctcsupd.tex before sending to us. It will a soft cover edition and may not include the solutions since it is intended as a student edition. Although it seems there will be some hard cover copies bound too. Michael Barr

1 0