July 2002 - Categories - categories.org.au

Preprint: Undecidability of the Free Adjoint Construction
by Robert J. MacG. Dawson 30 Jul '02

30 Jul '02

The R P collective D (Robert Dawson, Dorette Pronk, and Bob Paré) announce the electronic release of the paper "Undecidability of the Free Adjoint Construction" which may be obtained in PostScript form from http://cs.stmarys.ca/~dawson/Undecid.ps -R. Dawson 30-Jul-2002 18:56:10 -0300,2633;000000000000-00000026

1 0

British Logic Colloquium, Birmingham, September 12-14, 2002
by Eike Ritter 30 Jul '02

30 Jul '02

British Logic Colloquium Birmingham, September 12-14, 2002. http://www.cs.bham.ac.uk/~blc02 This meeting is the annual meeting of the British Logic Colloquium which is a national body comprising of logicians working within mathematics, computing science, philosophy and linguistics. The programme of the meeting will include invited lectures and sessions of short contributed talks. As usual, the Colloquium will include talks on mathematical and philosophical logic as well as on logic in Computer Science and on applications of logic. As well as the invited lectures in these areas we invite contributed talks in the above areas. Submissions for contributed talks should be sent electronically or by ordinary mail if this is not possible (see below) by 15th August. Programme time for contributed talks is limited and postgraduate students will be given priority if there is insufficient time to hear everyone. Invited Speakers * Samson Abramsky (Oxford) * Ulrich Berger (University of Wales Swansea) * Drew Moshier (Chapman University, California) * Joel Hamkins (CUNY) * Dietrich Kuske (Leicester) * David Pym (Bath) * John Truss (Leeds) * Ian Rumfitt (Oxford) Special Session One of the highlights of the meeting this year will be the presentation by Robin Knight (Oxford) on his counterexample to Vaught's conjecture. The programme details have yet to be finalized, but it is hoped that this will be in two sessions: a short session on the Friday for experts and non-experts alike, and a longer session of the Saturday with more details for experts. Special Excursion The BLC meeting in 2002 will feature a special excursion during the afternoon of the 13th of September to Bletchley Park. Members of the BLC will hardly need reminding that Bletchley Park was where Alan Turing spent much of his time during the second world war decrypting intercepted messages. Instructions to Speakers Deadline for the submission of abstracts 15th August.

1 0

symmetric closed monoidal structure on CGTop
by Philippe Gaucher 30 Jul '02

30 Jul '02

Dear all, In the category CGTop of compactly generated Hausdorff topological spaces, the product provides a symmetric closed monoidal structure. Question: Is there another symmetric closed monoidal structure on CGTop ? Thanks in advance. pg. PS : Fact1 : On the category Top of topological spaces, there is exacly one symmetric closed monoidal structure. See Borceux vol 2 Proposition 7.1.6 and @article {MR87k:54012, AUTHOR = {Pedicchio, Maria Cristina and Solimini, Sergio}, TITLE = {On a ``good'' dense class of topological spaces}, JOURNAL = {J. Pure Appl. Algebra}, FJOURNAL = {Journal of Pure and Applied Algebra}, VOLUME = {42}, YEAR = {1986}, NUMBER = {3}, PAGES = {287--295}, ISSN = {0022-4049}, CODEN = {JPAAA2}, MRCLASS = {54B30 (18B30 18D10 18D15 54A10)}, MRNUMBER = {87k:54012}, MRREVIEWER = {D. Pumpl{\"u}n}, } 30-Jul-2002 18:56:10 -0300,2498;000000000000-00000024

3 2

Only two SMC structures on Cat?
by Jason C Reed 27 Jul '02

27 Jul '02

Power, A.J. and Robinson, E.P. Premonoidal categories and notions of computation (ftp://ftp.dcs.qmw.ac.uk/pub/lfp/edmundr/premoncat.ps.gz) in section 2 asserts that there is excatly one symmetric monoidal closed structure on Cat besides the cartesian one. Does anyone know [the location of] a proof? ---Jason

3 2

Has anyone already encountered this situation ?
by Philippe Gaucher 26 Jul '02

26 Jul '02

Hello, Here is the situation : C and D are two categories enriched over the category of Hausdorff compactly generated topological spaces. So for any object X,Y, C(X,Y) and D(X,Y) are topological spaces and everything is continuous. F:C-->D and G:D-->C are two functors satisfying : there exists a natural continuous map C(FX,Y)-->D(X,GY) which is always a weak homotopy equivalence. pg. 26-Jul-2002 09:45:28 -0300,4637;000000000001-00000022

2 1

PSSL 77, First announcement
by Jurgen Koslowski 23 Jul '02

23 Jul '02

PERIPATETIC SEMINAR ON SHEAVES AND LOGIC 77th meeting - first announcement http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/PSSL77.html The 77th meeting of the seminar will be held at the Department of Theoretical Computer Science of the Technical University in Braunschweig, Germany, over the weekend of October 5/6, 2002. As usual, the seminar welcomes talks using or addressing category theory or logic, either explicitly or implicitly, in the study of any aspect of mathematics, computer science or science in general. Braunschweig is located about 60 km East of Hannover and can easily be reached by car or train. The closest airport is in Hannover. Since Expo 2000, there is a fast train connection from that airport to the Hannover main train station. Trains to Braunschweig leave at least once every hour and take about 40 minutes or less. For train travel within Germany and from neighboring countries you also may consult =09http://reiseauskunft.bahn.de/bin/query.exe/e Your destination should be entered as "Braunschweig Hbf". We will send further information on the location of the seminar, along with details on local travel and accommodation to those who register, at least a week before the meeting. Electronic registration is available on the Conference Page =09http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/PSSL77.html. We are looking forward to welcoming you to our new quarters in the Informatikzentrum of the Technical University of Braunschweig! Jiri Adamek Juergen Koslowski Stefan Milius Jiri Velebil P.S. Please notice that all four of us will be attending CTCS in Ottawa. While I expect to have email access there, replies to your enquiries may be delayed somewhat. --=20 Juergen Koslowski If I don't see you no more on this world ITI, TU Braunschweig I'll meet you on the next one koslowj(a)iti.cs.tu-bs.de and don't be late! http://www.iti.cs.tu-bs.de/~koslowj Jimi Hendrix (Voodoo Child, SR) 24-Jul-2002 09:24:06 -0300,1205;000000000001-00000021

1 0

AMAST 2002 Call for Participation -- early registration: July 30
by Christophe Ringeissen 19 Jul '02

19 Jul '02

[Apologies for multiple copies. Early registration deadline: *** July 30, 2002 ***] 9th International Conference on Algebraic Methodology And Software Technology AMAST 2002 Call for Participation St-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 http://www.loria.fr/conferences/amast2002 ***************************************************************************** * Goal. The major goal of the AMAST Conferences is to promote research that may lead to the setting of software technology on a firm, mathematical basis. * Topics. Of particular interest is research on using algebraic, logic, and other formalisms suitable as foundations for software technology, as well as software technologies developed by means of logic and algebraic methodologies. * Program Chairs. H. Kirchner, C. Ringeissen (amast(a)loria.fr) * Program Committee: V.S. Alagar, E. Astesiano, M. Bidoit, D. Bolignano, M. Broy, J. Fiadeiro, B. Fischer, K. Futatsugi, A. Haeberer, N. Halbwachs, A. Haxthausen, D. Hutter, P. Inverardi, B. Jacobs, M. Johnson, H. Kirchner, P. Klint, T. Maibaum, Z. Manna, J. Millen, P. Mosses, F. Orejas, R. de Queiroz, T. Rus, C. Ringeissen, D. Sannella, P.-Y. Schobbens, G. Scollo, A. Tarlecki, M. Wirsing * Local Organization Chair. Teodor Knapik, Univ. de la Reunion * Program. The scientific program can be found at http://www.loria.fr/conferences/amast2002 * Invited Talks. - "Tool-Assisted Specification and Verification of the JavaCard Platform", Gilles Barthe (INRIA Sophia-Antipolis) - "Algebraic Support for Service-Oriented Architecture", Jose Fiadeiro (ATX Software and U. Lisbon) - "Higher-Order Quantification and Proof Search", Dale Miller (Pennsylvania State U.) - "Pragmatics of Modular SOS", Peter Mosses (BRICS, U. Aarhus) - "From Specifications to Code in CASL", Don Sannella (LFCS, U. Edinburgh) - "Automata and Games for Synthesis", Igor Walukiewicz (LaBRI, U. Bordeaux). * Conference Registration. Early registration deadline is July 30, 2002. ************* * Hotel Accommodation. The conference will be held in two hotels which are located in front of each other in Hermitage (a part of St. Gilles). In order to register, fill the registration and hotel booking form available at http://www.loria.fr/conferences/amast2002 23-Jul-2002 19:34:12 -0300,2820;000000000000-00000020

1 0

A vague question on weak n-categories
by P.M.Hines 17 Jul '02

17 Jul '02

Dear Categorists, A vague kind of question on higher-dimensional analogues of weak categories: basically I was wondering what the current state of play was regarding interchange laws up to isomorphism? Slightly more precisely, given an algebraic description of a natural family of isomorphisms that seem to express 'interchange up to isomorphism' or higher-dimensional analogues of this, what kind of properties should they be expected to have? Obviously, I'm not looking for exact coherence conditions, but I was more wondering whether there is a 'killer application' that rules in or out various possibilities. Peter 17-Jul-2002 16:31:03 -0300,8458;000000000000-0000001c

3 2

CTCS'02 Final CFP and Schedule
by Richard Blute 17 Jul '02

17 Jul '02

CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'02) AUGUST 15-17, 2002 GRADUATE STUDENT PRECONFERENCE AUGUST 12-14, 2002 University of Ottawa Ottawa, Ontario, Canada Final Call for Participation & Schedule CTCS'02 is the 9th Conference on Category Theory and Computer Science. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. The emphasis is upon applications of category theory, but it is recognized that the area is highly interdisciplinary. Typical topics of interest include, but are not limited to, category-theoretic aspects of the following: coalgebras and computing concurrent and distributed systems constructive mathematics declarative programming and term rewriting domain theory and topology foundations of computer security linear logic modal and temporal logics models of computation program logics, data refinement, and specification programming language semantics type theory Previous meetings have been held in Guildford (Surrey), Edinburgh (twice), Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure (Genova). This is the first time CTCS will be held in North America. The proceedings of the conference will be published as a special issue of ENTCS (Electronic Notes in Theoretical Computer Science). Paper copies of the proceedings will be available to participants at the conference. The conference will have 4 invited speakers: Eric Goubault (CEA/Saclay) Guy McCusker (Sussex) Peter Selinger (Ottawa) Paul Syverson (Naval Research Laboratory) GRADUATE STUDENT PRECONFERENCE One new feature that CTCS will have this year is a "preconference" from August 12-14. This is supported in part by a grant from CRM, the Centre de Recherches Mathematiques (Univ. of Montreal). The goal is to prepare students for CTCS, through mini-courses in the basic areas underlying the fields of the conference. The schedule is below. PROGRAMME COMMITTEE Rick Blute, Chair (Ottawa) Robin Cockett (Calgary) Thierry Coquand (Chalmers) Andrea Corradini (Pisa) Thomas Ehrhard (Luminy) Ryu Hasegawa (Tokyo) Martin Hofmann (Munich) Bart Jacobs (Nijmegen) Michael Johnson (Macquarie) Dusko Pavlovic (Kestrel Institute) Alex Simpson (Edinburgh) ORGANIZING COMMITTEE E. Moggi, Chair, (Genova) S. Abramsky (Oxford) P. Dybjer (Chalmers) B. Jay (Sydney) A. Pitts (Cambridge) LOCAL ORGANIZING COMMITTEE R. Blute (Ottawa) email: rblute(a)mathstat.uottawa.ca P. Scott (Ottawa) email: phil(a)site.uottawa.ca HOTEL INFORMATION The deadline for special rates has now officially passed, but the hotels may still be willing to give the reduced rates, so we have included the details below. If you need assistance finding accomadations, please contact the organizers. We also have a limited number of dorm rooms available. If interested, please contact the local organizers. 1) Ramada Hotel & Suites Ottawa (Use Group Code 2451 to get special rates.) 111 Cooper Street Ottawa, ONTARIO K2P 2E3 CANADA Tel: 1-613-238-1331 FAX: 1-613-230-2179 email: ramada(a)ramada-ottawa.com website: www.ramada.ca/ottsuit.html This is avalable from Wednesday, August 14, 2002 to Sunday, August 18, 2002 (departure on Monday). Rate: $109.00 single or double occupancy Deadline: July 14th, 2002 2) Novotel Ottawa Hotel (Use Contract # UNIV-814 to get special rates.) 33 Nicholas Street Ottawa, ONTARIO K1N 9M7 CANADA Phone:1-613-230-3033 or 1-800-668-6835 (Reservations worldwide-no charge dial) website: www.bestlodging.com/sites1/17534/index.shtml This is available from Wednesday, August 14, 2002 to Sunday, August 18, 2002 (departure on Monday). Rate: $129 single or double, $144 triple, $159 Quad Deadline: July 14th, 2002 CONFERENCE HOMEPAGE Updated information is available at www.mathstat.uottawa.ca/lfc/ctcs2002 Registration forms are on the web site. Please register as soon as possible. (NOTE: CTCS is being held at U. Ottawa, but the conference registrar and coordinator is Ms. Gillian S. Murray, at Carleton University, as shown on the Registration Forms). CTCS Preconference Minicourses August 12th-14th ************************* Monday, August 12th =================== 9:00-10:20 S. Niefield, "Introduction to Category Theory I" 10:50-12:10 S. Niefield, "Introduction to Category Theory II" 12:10-2:00 LUNCH 2:00-3:20 P. Scott, "Introduction to Categorical Logic I" 3:50-5:10 P. Scott, "Introduction to Categorical Logic II" Tuesday, August 13th ==================== 9:00-10:20 P. Selinger, "Introduction to Concurrency Theory I" 10:50-12:10 J. Adamek, "Introduction to Coalgebras I" 12:10-2:00 LUNCH 2:00-3:20 R. Blute, "Introduction to Linear Logic I" 3:50-5:10 R. Cockett, "Introduction to Game Theory I" 7:00-9:00 Student Presentations Wednesday, August 14th ====================== 9:00-10:20 P. Selinger, "Introduction to Concurrency Theory II" 10:50-12:10 J. Adamek, "Introduction to Coalgebras II" 12:10-2:00 LUNCH 2:00-3:20 R. Blute, "Introduction to Linear Logic II" 3:50-5:10 R. Cockett, "Introduction to Game Theory II" CATEGORY THEORY AND COMPUTER SCIENCE August 15th-17th ************************* Thursday, August 15th ===================== 8:50-9:00 Welcome 9:00-10:00 Invited Speaker-Eric Goubault (CEA/Saclay) 10:00-10:15 Break 10:15-10:50 M. Coccia, F. Gadducci & U. Montanari, "GS-Lambda theories: A syntax for higher-order graphs" 10:55-11:30 R. Cockett & L. Santocanale, "Induction, coinduction and adjoints" 11:35-12:10 L. Schroder, "Classifying categories for partial equational logic" 12:10-2:00 Lunch 2-3:00 Invited Speaker-Guy McCusker (Sussex) 3:15-3:50 J. Laird, "A categorical semantics of higher order store" 3:55-4:30 P. Levy, "Adjunction models for call-by-push-value with stacks" 4:35-5:10 J. Hughes & B. Jacobs, "Factorization systems and fibrations" 5:30-6:30 Business Meeting Friday, August 16th =================== 9:00-9:35 S. Milius, "On iteratable endofunctors" 9:40-10:15 J. Adamek, S. Milius & J. Velebil, "On rational monads and free iterative theories" 10:15-10:30 Break 10:30-11:05 F. Lamarche, "Multiplicative linear logics and fibrations" 11:10-11:45 P. Boudes, "Non-uniform hypercoherences" 11:50-12:25 J. Koslowski, "A monadic approach to polycategories" 12:30-2:00 Lunch 2-3:00 Invited Speaker-Peter Selinger (Ottawa) 3:30-6 Reception at National Gallery Saturday, August 17th ===================== 9:00-10:00 Invited Speaker-Paul Syverson (Naval Research Laboratory) 10:00-10:15 Break 10:15-10:50 E. Haghverdi, G. Pappas & P. Tabuada, "Bisimulation relations for dynamical and control systems" 10:55-11:30 S. Abramsky & B. Coecke, "Physical traces: Quantum vs. classical information processing" 11:35-12:10 M. Hasegawa, "The uniformity principle on traced monoidal categories" 12:15-2:00 Lunch 2:00-2:35 S. Bloom & Z. Esik,"Unique, guarded fixed points in an additive setting" 2:40-3:15 M. Maietti, "Joyal's arithmetic universes via type theory" 3:15-3:30 Break 3:30-4:05 K. Worytkiewicz, "Paths and Simulations" 4:10-4:45 P. Taylor, "Local compactness and the Baire category theorem in abstract Stone duality" END OF CONFERENCE 17-Jul-2002 16:37:33 -0300,2860;000000000000-0000001d

1 0

CT04
by John MacDonald 16 Jul '02

16 Jul '02

Please circulate to all interested colleagues: FIRST ANNOUNCEMENT INTERNATIONAL CONFERENCE ON CATEGORY THEORY AND ITS APPLICATIONS (CT04) July 18-24, 2004 University of British Columbia Vancouver, Canada This conference will be held on the University of British Columbia campus. It will begin with a reception at 6pm on Sunday July 18, 2004, and will end at 1pm on Saturday July 24, 2004. All those interested in category theory and its applications are welcome. This announcement is made for your advance planning purposes only and does not require a response. A second announcement will be made in September of 2003 with more details. Support is being requested from the Pacific Institute of Mathematics(PIMS}. John MacDonald 16-Jul-2002 20:03:01 -0300,1464;000000000000-0000001b

1 0