From rrosebru@mta.ca Sat Jul 1 17:28:56 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 01 Jul 2006 17:28:56 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Fwlry-00016w-L7 for categories-list@mta.ca; Sat, 01 Jul 2006 17:15:10 -0300 From: "Marta Bunge" To: categories@mta.ca Subject: categories: Book announcement Date: Sat, 01 Jul 2006 09:53:26 -0400 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 1 Dear colleagues, This is to announce the publication, scheduled for October 2006, of our book Marta Bunge and Jonathon Funk Singular Coverings of Toposes Springer LNM 1890 2006 For further details, see http://www.springer.com/west/home/math?SGWID=4-10042-22-173666512-0 Best wishes, Marta Bunge ***************** ************************************************ Marta Bunge Professor Emerita Dept of Mathematics and Statistics McGill University 805 Sherbrooke St. West Montreal, QC, Canada H3A 2K6 Office: (514) 398-3810 Home: (514) 935-3618 marta.bunge@mcgill.ca http://www.math.mcgill.ca/bunge/ ************************************************ From rrosebru@mta.ca Sat Jul 1 19:27:50 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 01 Jul 2006 19:27:50 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Fwnu8-0004Wm-8s for categories-list@mta.ca; Sat, 01 Jul 2006 19:25:32 -0300 Date: Thu, 29 Jun 2006 00:29:09 -0500 From: "Galchin Vasili" To: categories@mta.ca Subject: categories: ramifications of Goldblatt's notion of a skeleton of a category MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 3 Hello, Rob Goldblatt in section 9.2 of his book "Topoi: The Categorical Analysis of Logic" introduces the notion of a "skeleton of a category C" which he defines as a "full subcategory C-sub-zero of C that is skeletal, and such that each C-object is isomorphic to one and only one C-sub-zero object". This statement seems to imply that we can have an "operator": skel: CAT -> CAT where CAT is the categories of (small) categories such that 1) skel is idempotent on any member of C of CAT, i.e. ] skel (skel (C)) = skel (C) 2) skel (C) = a "maximal" skeleton of C. I am struggling with 1) what "maximal" means in this case? E.g. is there some kind of order on all the skeletons of category C? 2) would the "operator" skel be a functor? Kind regards, Bill Halchin From rrosebru@mta.ca Sun Jul 2 20:03:08 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 02 Jul 2006 20:03:08 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FxAox-0007C0-RF for categories-list@mta.ca; Sun, 02 Jul 2006 19:53:43 -0300 Date: Sun, 02 Jul 2006 00:18:13 +0100 From: "Ricardo J. Machado" MIME-Version: 1.0 To: undisclosed-recipients:; Subject: categories: CfP: MOMPES 2007, published by IEEE CS Press Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 4 ****************************************************************** CALL FOR PAPERS 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007) http://www.di.uminho.pt/mompes within the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2007) http://www.di.uminho.pt/etaps07/ Braga - Portugal March 31, 2007 ****************************************************************** Model Based Development (MBD) comprises approaches to software development, which heavily rely on modelling and the systematic transition from models to executable code. One of these approaches is the OMG=92s Model Driven Architecture (MDA), which is based on the separation between the specification of a system and its implementation using specific platforms. This workshop focuses on the theoretical and practical aspects related with the adoption of MDA and other MBD methodologies (notation, process, methods, and tools) for supporting the construction of computer-based systems, and more specifically, pervasive and embedded software. Suggested areas of interest in the workshop include, but are not restricted to: - Specification of Platform Independent Models (PIMs) and Platform Specific Models (PSMs) - PIM to PSM transformations - MBD process for embedded and pervasive software - Automatic code generation in MBD - Testing and validation in MBD - Tools for MBD of embedded and pervasive software - Model-based development of hardware and software systems - Model-based architectures - Meta-Models for MBD - System evolution and maintenance - Precise semantics and consistency checks in MBD - Integration of feature modelling - Case studies on the application of MBD - Models and techniques to enhance the security of embedded and pervasive software The official language is English. Authors are requested to submit a PDF version of their papers in IEEE format. Papers should not exceed 10 pages, including figures, references, and appendices. Submitted papers will be reviewed by at least 3 PC members. Authors of accepted papers must sign the IEEE copyright form. Full papers exceeding 10 pages will be charged for pages in excess. At least one author of each accepted submission must register and present the paper at the workshop. The proceedings will be published by IEEE Computer Society Press. Position papers will be published online. Submissions by email to mompes@di.uminho.pt ****************************************************************** Important Dates: - Submission of full papers: 23.Oct.2006 - Notification of acceptance: 27.Nov.2006 - Camera-ready paper version: 29.Dec.2006 - Workshop at ETAPS 2007: 31.Mar.2007 ****************************************************************** Organizing Committee: - Jo=E3o M. Fernandes U Minho (PT) - Ricardo J. Machado U Minho (PT) - Siobhan Clarke Trinity CD (IE) - Ridha Khedri McMaster U (CA) Joint Programme Committee: - Jean B=E9zivin U Nantes (FR) - Siobhan Clarke Trinity CD (IE) - J=F6rg Desel KU Eichs.-Ingolstadt (DE) - Dov Dori Technion (IL) - Jo=E3o M. Fernandes U Minho (PT) - Robert B. France Colorado SU (US) - Ant=F4nio A. Fr=F6hlich UF Santa Catarina (BR) - Lidia Fuentes U Malaga (ES) - Hassan Gomaa George Mason U (US) - Lu=EDs Gomes UN Lisboa (PT) - David Harel Weizmann I (IL) - Mike Hinchey NASA (US) - Jens B. Jorgensen U Aarhus (DK) - Ridha Khedri McMaster U (CA) - Pericles Loucopoulos UMIST (UK) - Ricardo J. Machado U Minho (PT) - Dirk Muthig IESE (DE) - Franz Rammig U Paderborn (DE) - Bran Selic IBM Rational Software (CA) - Jo=E3o P. Sousa CMU (US) - Dragos Truscan TUCS (FI) - Arie van Deursen CWI (NL) ****************************************************************** From rrosebru@mta.ca Sun Jul 2 20:03:08 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 02 Jul 2006 20:03:08 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FxAoH-00078m-B7 for categories-list@mta.ca; Sun, 02 Jul 2006 19:53:01 -0300 Date: Sat, 01 Jul 2006 19:14:57 -0400 From: "Fred E.J. Linton" To: Subject: categories: Re: ramifications of Goldblatt's notion of a skeleton of a category Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 5 Vasili "Bill" [G|H]alchin, in > ramifications of Goldblatt's notion of a skeleton of a category asks, in connection with > the notion of a "skeleton of a category C" which he > defines as a "full > subcategory C-sub-zero of C that is skeletal, and such that each C-obje= ct is > isomorphic > to one and only one C-sub-zero object" , the following: > 1) what "maximal" means in this case? ...some kind of order on > all the > skeletons of category C? > = > 2) would the "operator" skel be a functor? A category "is skeletal" if for each isomorphism A --> B the objects A and B are the same object (A =3D B). With this in mind, the phrase "and only one" in Golblatt's quoted definition is superfluous, being a consequence of (rather than a condition required for) the definition. Once one has a _choice_ of isomorphism from each object of C to = the (unique) object of a skeleton of C that it's isomorphic to (but it may take the axiom of choice to be assured of such an iso), = any two skeleta of C become isomorphic to each other. There's = no inherent "order" among the various possible skeleta of C. Data making the inclusion into C of any full subcategory that = is a skeleton of C an equivalence of categories IS precisely such a "choice of isomorphism from each object of C to the (unique) object of a skeleton of C that it's isomorphic to" mentioned above. There's little hope of skel becoming a functor without data = of the sort just mentioned. Probably the strong temptation = to "wish" that the full inclusion {SKEL} --> {CAT} (of the full subcategory of skeletal categories among all categories) were an equivalence of categories, or at least the inclusion = of a full reflexive subcategory (with skel as inverse, or at = least, reflection back down), is one to be steer clear of, = if at all possible, in general. Cheers, -- Fred (Linton, and as of today, Emeritus from Wesleyan U. :-) ) [original post follows] > Hello, > = > Rob Goldblatt in section 9.2 of his book "Topoi: The Categorical > Analysis of > Logic" introduces the notion of a "skeleton of a category C" which he > defines as a "full > subcategory C-sub-zero of C that is skeletal, and such that each C-obje= ct is > isomorphic > to one and only one C-sub-zero object". This statement seems to imply t= hat > we can have an "operator": > = > skel: CAT -> CAT where CAT is the categories of (small) categories= > = > such that > = > 1) skel is idempotent on any member of C of CAT, i.e. > ] > skel (skel (C)) =3D skel (C) > = > 2) skel (C) =3D a "maximal" skeleton of C. > = > I am struggling with > = > 1) what "maximal" means in this case? E.g. is there some kind of ord= er on > all the > skeletons of category C? > = > 2) would the "operator" skel be a functor? > = > = > Kind regards, Bill Halchin > = > = > = From rrosebru@mta.ca Mon Jul 3 08:53:36 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 03 Jul 2006 08:53:36 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FxMvp-0002xx-7f for categories-list@mta.ca; Mon, 03 Jul 2006 08:49:37 -0300 From: "Ronnie Brown" To: Subject: categories: Re: ramifications of Goldblatt's notion of a skeleton of a category Date: Mon, 3 Jul 2006 12:07:08 +0100 MIME-Version: 1.0 Content-Type: text/plain;format=flowed; charset="iso-8859-1";reply-type=response Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 6 Following on from Fred Linton's comment, an easy example is groupoids. For a connected groupoid G, any vertex (object) group G(x)= G(x,x) is skeletal in G. See my book: www.bangor.ac.uk/r.brown/topgpds.html (since I do all the publicity, I have to take every opportunity....!) For many mathematicians, this meant that `groupoids reduced to groups'. But this reduction involves choices, and so cannot be made natural, which takes us back to the first paper on categories by E-M! Heller commented to me in the 1980s that on this reductionist basis, vector spaces reduce to a cardinality. But, as he said, the classification of vector spaces with n endomorphisms is interesting for n=1, hard for n=2, and unknown for n=3. I have not seen a classification of groupoids with one endomorphism! Ronnie ----- Original Message ----- From: "Galchin Vasili" To: Sent: Thursday, June 29, 2006 6:29 AM Subject: categories: ramifications of Goldblatt's notion of a skeleton of a category > Hello, > > Rob Goldblatt in section 9.2 of his book "Topoi: The Categorical > Analysis of > Logic" introduces the notion of a "skeleton of a category C" which he > defines as a "full > subcategory C-sub-zero of C that is skeletal, and such that each C-object > is > isomorphic > to one and only one C-sub-zero object". This statement seems to imply that > we can have an "operator": > > skel: CAT -> CAT where CAT is the categories of (small) categories > > such that > > 1) skel is idempotent on any member of C of CAT, i.e. > ] > skel (skel (C)) = skel (C) > > 2) skel (C) = a "maximal" skeleton of C. > > I am struggling with > > 1) what "maximal" means in this case? E.g. is there some kind of order > on > all the > skeletons of category C? > > 2) would the "operator" skel be a functor? > > > Kind regards, Bill Halchin > > > > > > -- > Internal Virus Database is out-of-date. > Checked by AVG Free Edition. > Version: 7.1.392 / Virus Database: 268.9.0/368 - Release Date: 16/06/2006 > From rrosebru@mta.ca Mon Jul 3 18:48:37 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 03 Jul 2006 18:48:37 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FxWDY-00052b-EU for categories-list@mta.ca; Mon, 03 Jul 2006 18:44:32 -0300 To: FLoC 2006 List From: Kreutzer + Schweikardt Subject: categories: FLoC 06 -- Call For Participation Date: Mon, 3 Jul 2006 22:16:00 +0200 (CEST) Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 7 Call for Participation --- FLoC'06 The 2006 Federated Logic Conference Seattle, Washington, USA August 10 -- August 22, 2006 http://www.easychair.org/FLoC-06/ Early registration deadline: July 10, 2006. We are pleased to announce the fourth Federated Logic Conference (FLoC'06) to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton (http://www.easychair.org/FLoC-06/floc-hotel.html). FLoC'06 promises to be the premier scientific meeting in computational logic in 2006. The following conferences will participate in FLoC'06: CAV Conference on Computer Aided Verification (Aug 17-20) ICLP Int'l Conference on Logic Programming (Aug 17-20) IJCAR Int'l Joint Conference on Automated Reasoning (Aug 17-20) LICS IEEE Symposium on Logic in Computer Science (Aug 12-15) RTA Conference on Rewriting Techniques and Applications (Aug 12-14) SAT Int'l Conference on Theory and Applications of Satisfiability Testing (Aug 12-15) The six major conferences will be accompanied by 41 workshops, held on Aug. 10-11, 15-16, and 21-22. The FLoC'06 program includes a keynote session to commemorate the Goedel Centenary, with John Dawson and Dana Scott as speakers, a keynote talk by David Harel, plenary talks by Randy Bryant and David Dill, and invited talks by F. Bacchus, A. Blass, B. Buchberger, A. Darwiche, M. Das, J. Esparza, J. Giesl, A. Gordon, T. Hoare, O. Kupferman, M. Lam, D. Miller, K. Sakallah, J. Stoy, and C. Welty. Seattle, the Emerald city, sits on the shores of Puget Sound surrounded by mountains to the east and west. Lovely views of blue waters and snow capped peaks seem to appear everywhere - around the next bend in the road or between the buildings downtown. Seattle is the gateway to the Pacific Northwest, a premier tourist attraction. In Seattle, Mt. Rainier enchants visitors; in Vancouver, British Columbia, the Coast Range juts out over downtown; and in Portland, 5,000 acres of forestland north of the city center harbor deer, elk, and the odd bear and cougar. Online registration for FLoC is now open at: http://www.easychair.org/FLoC-06/ Deadline for early registration is July 10, 2006. The rates agreed upon between FLoC and the Seattle Sheraton are very reasonable rates for a first-class hotel in downtown Seattle during the summer vacation season. To reduce conference costs and keep registration fees reasonable, FLoC is contractually obligated to meet a commitment for a certain number of FloC attendees staying in the conference hotel. FLoC attendees are strongly encouraged to use the Seattle Sheraton for conference accommodation. Deadline for preferred hotel rate is July 21, 2006. FLoC'06 Steering Committee Moshe Y. Vardi (General Chair) Thomas Ball (Conference Co-Chair) Jakob Rehof (Conference Co-Chair) Edmund Clarke (CAV) Reiner Hahnle (IJCAR) Manuel Hermenegildo (ICLP) Phokion Kolaitis (LICS) Henry Kautz (SAT) Aart Middeldorp (RTA) Andrei Voronkov (IJCAR) From rrosebru@mta.ca Mon Jul 3 18:48:37 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 03 Jul 2006 18:48:37 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FxWCy-000518-PN for categories-list@mta.ca; Mon, 03 Jul 2006 18:43:56 -0300 Date: Mon, 3 Jul 2006 14:23:06 +0100 From: Alex Simpson To: categories@mta.ca Subject: categories: Symposium for Gordon Plotkin: Call for Participation Reply-To: plotkin-symposium@inf.ed.ac.uk Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 8 SYMPOSIUM FOR GORDON PLOTKIN 7-8 September, 2006 LFCS, School of Informatics, University of Edinburgh A symposium to celebrate the 60th birthday of Gordon Plotkin http://www.lfcs.ed.ac.uk/events/plotkin-symposium/ CALL FOR PARTICIPATION PROGRAMME: Two days of invited talks on 7th and 8th September, with a banquet on the evening of Thursday 7th September. INVITED SPEAKERS: Martin Abadi (UC Santa Cruz); Samson Abramsky (University of Oxford); Rod Burstall (University of Edinburgh, Emeritus); Luca Cardelli (Microsoft Research, Cambridge); Marcelo Fiore (University of Cambridge); Philippa Gardner (Imperial College); Matthew Hennessy (University of Sussex); Robin Milner (Univerity of Cambridge, Emeritus); Eugenio Moggi (Universita` di Genova); John Power (University of Edinburgh); David Pym (Hewlett-Packard Laboratories, Bristol); Dana Scott (Carnegie Mellon University, Emeritus); Colin Stirling (University of Edinburgh); Glynn Winskel (University of Cambridge). SUPPORT FOR PHD STUDENTS: Financial assistance is available for UK-based PhD students who wish to attend the symposium. This will be issued on a first-come first-served basis. REGISTRATION: is now open. For more information see webpage. From rrosebru@mta.ca Wed Jul 5 08:28:13 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 05 Jul 2006 08:28:13 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Fy5Rn-0000vU-Lb for categories-list@mta.ca; Wed, 05 Jul 2006 08:21:35 -0300 Date: Tue, 04 Jul 2006 18:14:54 +0200 From: Carlos Areces MIME-Version: 1.0 To: Carlos Areces Subject: categories: E. W. Beth Dissertation Prize: call for submissions Content-Type: text/plain; charset=3DISO-8859-1; format=3Dflowed Content-Transfer-Encoding: 8bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 9 E. W. Beth Dissertation Prize: call for submissions. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. Submissions are invited for 2005. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2005. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation. Who qualifies ~~~~~~~~~~~~~ Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2005 and December 31st, 2005. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2005 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for 2006). Prize ~~~~~ The prize consists of * a certificate * a donation of 2500 euros provided by the E. W. Beth Foundation. * an invitation to submit the thesis (or a revised version of it) to the new series of books in Logic, Language and Information to be published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on this series is available on the FoLLI site) How to submit ~~~~~~~~~~~~~ Only electronic submissions are accepted. The following documents are required: 1. the thesis in pdf or ps format (doc/rtf not accepted); 2. a ten page abstract of the dissertation in ascii or pdf format; 3. a letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to beth_award@dimi.uniud.it Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days after submission, nominators should write to policriti@dimi.uniud.it or areces@loria.fr Important dates ~~~~~~~~~~~~~~~ Deadline for Submissions: July 31, 2006. Notification of Decision: November 15, 2006. Committee ~~~~~~~~~ * Anne Abeill=E9 (Universit=E9 Paris 7) * Johan van Benthem (University of Amsterdam) * Nissim Francez (The Technion, Haifa) * Valentin Goranko (University of the Witwatersrand, Johannesburg) * Alessandro Lenci (University of Pisa) * Ewa Orlowska (Institute of Telecommunications, Poland) * Gerald Penn (University of Toronto) * Alberto Policriti (chair) (Universit=E0 di Udine) * Rob van der Sandt (University of Nijmegen) * Wolfgang Thomas (RWTH Aachen) From rrosebru@mta.ca Wed Jul 5 08:28:13 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 05 Jul 2006 08:28:13 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Fy5Pr-0000re-Ks for categories-list@mta.ca; Wed, 05 Jul 2006 08:19:35 -0300 Date: Tue, 4 Jul 2006 16:49:21 +0200 (CEST) From: Jiri Adamek To: categories net Subject: categories: Quantum computing on the 84th PSSL MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 10 Dear All, As announced earlier, the next PSSL is planned for the weekend of October 14/15, 2006 in Braunschweig. Samson Abramsky and Bob Coecke accepted our invitation to deliver a three-lecture course on quantum computing as a part of the PSSL. See PSSL 84 - preliminary announcement http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/PSSL84.html where further information will become available and where you can also register on-line. Jiri Adamek Juergen Koslowski Stefan Milius From rrosebru@mta.ca Wed Jul 5 08:28:13 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 05 Jul 2006 08:28:13 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Fy5R9-0000u9-9Q for categories-list@mta.ca; Wed, 05 Jul 2006 08:20:55 -0300 Date: Tue, 04 Jul 2006 17:14:12 +0100 From: Bruce Bartlett MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Re: ramifications of Goldblatt's notion of a skeleton of a category Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 11 Fred E.J. Linton wrote: > There's little hope of skel becoming a functor without data of the > sort just mentioned. Probably the strong temptation to "wish" that the > full inclusion {SKEL} --> {CAT} (of the > full subcategory of skeletal categories among all categories) > were an equivalence of categories, or at least the inclusion of a full > reflexive subcategory (with skel as inverse, or at least, reflection > back down), is one to be steer clear of, if at all possible, in general. The situation is actually quite neat. Suppose that, for each category C in Cat, one chooses a skeleton C_0, and isomorphisms from each object to the choice of the skeletal object, as you say. Then, indeed, the operation Skel : Cat -> Cat which sends each category to its chosen skeleton can be made into a (necessarily weak, but thats the interesting part) 2-functor, and can can be extended to an equivalence of 2-categories. Its a special case of a more general notion : if you have a 2-category X, such that every object A in X has an associated object A' and an adjoint equivalence between A and A', then the operation T : X -> X, which (on objects) sends A to A', is in fact a weak 2-functor, and indeed a 2-equivalence. Its all rather nice if you draw it out in string diagrams. Regards, Bruce Bartlett Vasili "Bill" [G|H]alchin, in > ramifications of Goldblatt's notion of a skeleton of a category > asks, in connection with > the notion of a "skeleton of a category C" which he > defines as a "full > subcategory C-sub-zero of C that is skeletal, and such that each C-object > is > isomorphic > to one and only one C-sub-zero object" > , the following: > 1) what "maximal" means in this case? ...some kind of order on > all the > skeletons of category C? > > 2) would the "operator" skel be a functor? > A category "is skeletal" if for each isomorphism A --> B the objects A and B are the same object (A = B). With this in mind, the phrase "and only one" in Golblatt's quoted definition is superfluous, being a consequence of (rather than a condition required for) the definition. Once one has a _choice_ of isomorphism from each object of C to the (unique) object of a skeleton of C that it's isomorphic to (but it may take the axiom of choice to be assured of such an iso), any two skeleta of C become isomorphic to each other. There's no inherent "order" among the various possible skeleta of C. Data making the inclusion into C of any full subcategory that is a skeleton of C an equivalence of categories IS precisely such a "choice of isomorphism from each object of C to the (unique) object of a skeleton of C that it's isomorphic to" mentioned above. There's little hope of skel becoming a functor without data of the sort just mentioned. Probably the strong temptation to "wish" that the full inclusion {SKEL} --> {CAT} (of the full subcategory of skeletal categories among all categories) were an equivalence of categories, or at least the inclusion of a full reflexive subcategory (with skel as inverse, or at least, reflection back down), is one to be steer clear of, if at all possible, in general. Cheers, -- Fred (Linton, and as of today, Emeritus from Wesleyan U. :-) ) [original post follows] > Hello, > > Rob Goldblatt in section 9.2 of his book "Topoi: The Categorical > Analysis of > Logic" introduces the notion of a "skeleton of a category C" which he > defines as a "full > subcategory C-sub-zero of C that is skeletal, and such that each C-object > is > isomorphic > to one and only one C-sub-zero object". This statement seems to imply > that > we can have an "operator": > > skel: CAT -> CAT where CAT is the categories of (small) categories > > such that > > 1) skel is idempotent on any member of C of CAT, i.e. > ] > skel (skel (C)) = skel (C) > > 2) skel (C) = a "maximal" skeleton of C. > > I am struggling with > > 1) what "maximal" means in this case? E.g. is there some kind of order > on > all the > skeletons of category C? > > 2) would the "operator" skel be a functor? > > > Kind regards, Bill Halchin > > From rrosebru@mta.ca Thu Jul 6 13:21:19 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 06 Jul 2006 13:21:19 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FyWTB-0001K0-Nk for categories-list@mta.ca; Thu, 06 Jul 2006 13:12:50 -0300 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: categories@mta.ca From: Anders Kock Subject: categories: Book announcement Date: Thu, 6 Jul 2006 14:00:56 +0200 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 12 Dear colleagues, This is to announce the publication (June 2006) of the Second Edition of my book "Synthetic Differential Geometry". It contains a retyping of the First Edition from 1981, but it also contains comments and bibliography for some of the development that has taken place in the field since then. Bibliographical data: Anders Kock, "Synthetic Differential Geometry, Second Edition" London Mathematical Society Lecture Note Series (No. 333), Cambridge University Press 2006 For further details, see http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521687381 Yours Anders Kock From rrosebru@mta.ca Thu Jul 6 13:21:19 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 06 Jul 2006 13:21:19 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FyWSY-0001D5-MH for categories-list@mta.ca; Thu, 06 Jul 2006 13:12:11 -0300 From: SOS 2006 Organisers To: categories@mta.ca, Date: Thu, 6 Jul 2006 09:48:41 +1000 Subject: categories: SOS 2006 - Programme and Call for Participation Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 13 CALL FOR PARTICIPATION: Structural Operational Semantics 2006 - a satellite workshop of CONCUR 2006 26th August 2006, Bonn (Germany) http://www.cse.unsw.edu.au/~rvg/SOS2006/ !!! Early registration until 18th July !!! INVITED SPEAKERS: Bartek Klin (Warsaw, PL) Robin Milner (Cambridge, UK) - joint Express-Infinity-SOS talk PROGRAMME: 09:00 Registration 09:15 Welcome 09:30 Bartek Klin (invited talk): Bialgebraic methods in structural operational semantics 10:30 break 11:00 MohammadReza Mousavi, Michel A. Reniers: On well-foundedness and expressiveness of promoted tyft 11:30 Christiano Braga, Alberto Verdejo: Modular SOS with strategies 12:00 Adrian Pop, Peter Fritzson: An Eclipse-based integrated environment for developing executable structural operational semantics specifications (tool demonstration) 12:30 lunch 14:30 Robin Milner (joint invited Express-Infinity-SOS talk): Bigraphs, multi-local names and confluence 15:30 break 16:30 Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active evaluation contexts for reaction semantics 17:00 Simone Tini: Notes on probabilistic bisimulations 17:30 Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling trees 18:00 Close CONTACT: sos2006@cs.stanford.edu WORKSHOP ORGANISERS: Rob van Glabbeek National ICT Australia Locked Bag 6016 University of New South Wales Sydney, NSW 1466 Australia Peter D. Mosses Department of Computer Science Swansea University Singleton Park Swansea SA2 8PP United Kingdom From rrosebru@mta.ca Fri Jul 7 17:05:54 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 07 Jul 2006 17:05:54 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FywRX-0006fc-T1 for categories-list@mta.ca; Fri, 07 Jul 2006 16:56:51 -0300 Date: Fri, 7 Jul 2006 10:49:54 -0400 (EDT) From: Peter Freyd To: categories@mta.ca Subject: categories: Cohn obit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 14 [MathSciNet lists 29 items (out of almost 200) by Paul Cohn that are coded for categories. I've appended Fred Linton's review of one of his earlier categorical papers.] Copyright 2006 Times Newspapers Limited The Times (London) June 29, 2006, Thursday SECTION: FEATURES; Pg. 64 LENGTH: 425 words HEADLINE: Professor Paul Cohn BODY: Professor Paul Cohn, FRS, mathematician, was born on January 8, 1924. He died on April 20, 2006, aged 82. Mathematician who devoted himself to algebra. PAUL COHN was a distinguished algebraist and the former Astor Professor of Mathematics at University College London. An only child, he was born in Hamburg in 1924 to Jewish parents. At 15 he was sent to England on the Kindertransport, and never saw the rest of his family again. After four years' manual labour, during which he taught himself Latin, he won an exhibition to Trinity College, Cambridge, in 1944. He obtained his BA in 1948 and his PhD, working with Philip Hall at Cambridge, in 1951. After a year as a charge de recherches at the University of Nancy, he served as a lecturer in the University of Manchester (whose mathematics department rivalled that of Cambridge in the early postwar years) from 1952 to 1962. The rest of his career was in London: as Reader at Queen Mary College, 1962 67, and as professor and head of department at Bedford College, 1967-84. The funding cuts of the early 1980s led to the closure of the small colleges of the University of London. Cohn left the Regent's Park campus of Bedford College for University College, where he was Astor Professor from 1986 till his retirement in 1989. In addition to many visiting appointments he was elected Fellow of the Royal Society in 1980, and served as president of the London Mathematical Society, 1982-84. Cohn was a pure mathematician, whose extensive work was devoted to algebra. His particular speciality was ring theory -the study of mathematical structures in which, as with ordinary numbers, one can add, subtract and multiply, but not necessarily divide -and in particular, non-commutative ring theory. Here, the order in which one multiplies matters, unlike multiplication of ordinary numbers, but as with the multiplication of matrices. Cohn wrote nearly 200 mathematical papers, over more than 50 years. He also wrote ten books, including the classic Algebra -this appeared first as two volumes (1974-77), split into three (1982-91), and finally reappeared as two again Basic Algebra and Further Algebra (2003). His best-known research monograph was Free Rings and Their Relations (1971). Cohn wrote on number theory as well as his beloved algebra, and was at home in French, German and Russian. He read widely and developed a particular interest in German history, the background to his early troubles, of which he would talk freely. He married Deirdre Sonia Sharon in 1958; she survives him, with their two daughters. ********************************************************************** Cohn, P. M. Morita equivalence and duality. Queen Mary College Mathematics Notes Queen Mary College, London, 1968 ii+79 pp. These notes provide an introduction to, and an exposition of, the ideas of Morita, Bass, Chase, Schanuel, et al., regarding the question, to be answered in terms of the ground ring, of what module categories are equivalent, respectively dual, to each other. The main goal is to provide a good presentation of the equivalence theory; to this end, the notes of Hyman Bass ["The Morita theorems", mimeographed notes, Univ. of Oregon, Eugene, Ore., 1962; see also Algebraic $K$-theory, Chapter II, Benjamin, New York, 1968; MR0249491 (40 \#2736)] are relied upon fairly heavily. A preliminary goal is to develop enough category theory to get by with; the development is in fact very rapid, though not too sketchy, but a little misleading or garbled in places (examples: the functor of the exercise on page 8 is contravariant and goes elsewhere than is there stated; the first two examples of equivalences of categories, presented on page 7 after a brief sermon on the advantages of the notion of equivalence over that of isomorphism, turn out, despite the readily inferred implication to the contrary, to be in fact isomorphisms; the choice of the term "homotopy inverse" to describe an inverse equivalence seems ill advised). A subsidiary goal is the duality question, which receives an adequately careful treatment and is used to open up the related area of quasi-frobeniosity. Reviewed by F. E. J. Linton From rrosebru@mta.ca Sun Jul 9 09:14:31 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 09 Jul 2006 09:14:31 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FzY1j-0004tx-9B for categories-list@mta.ca; Sun, 09 Jul 2006 09:04:43 -0300 Date: Sat, 8 Jul 2006 09:56:39 -0400 (EDT) From: Peter Freyd To: categories@mta.ca Subject: categories: Two honorary degrees Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 15 The written version of the citations that were read at the memorial session at the recent CT06 conference: ********************************************************************** UNIVERSITY of PENNSYLVANIA Citation accompanying the honorary degree of Doctor of Science conferred on May 22, 1977 SAUNDERS MAC LANE Following in the footsteps of Rene Descartes, Saunders Mac Lane has shown that disparate parts of mathematics are categorically the same. Establishing himself as a master of several specialties, he went on to reach for universal solutions. In an age when mathematics has led to increasingly complex resolutions, he has chosen to study the similarities. By developing what seemed to some a nonsensical abstraction for generalizing difficulties, he achieved a method for unifying mathematics. Through his insistence that the triple of algebra, analysis, and geometry are one, he has accomplished his object -- the transformation of the map of mathematics. As Max Mason Distinguished Service Professor of Mathematics at the University of Chicago, past president of the American Mathematics Society, and current Vice President of the national Academy of Sciences, Saunders Mac Lane has given distinguished service to the community of American Scientists. Young mathematicians throughout the world, in deriving extensions of his work, have recognized its truly global dimension. With the knowledge that, in Saunders Mac lane, the scholar and the gentleman are naturally equivalent, and with particular gratitude for his role in bringing excellence in mathematics to this university, the Trustees are pleased to award a former colleague and Associate Trustee the honorary degree, Doctor of Science. ********************************************************************** UNIVERSITY of PENNSYLVANIA Citation accompanying the honorary degree of Doctor of Science conferred on May 20, 1985 SAMUEL EILENBERG Arriving in this country, a prodigy from Warsaw, when American mathematics was but a kernel of its present image, you have nurtured its growth over the years, and, in the process, naturally transformed yourself into the most international as wall as the most American of mathematicians. A master theoretician of geometry, algebra, automata, and formal languages -- our greatest mathematical stylist -- you defined the very categories of modern mathematics. By mastering those categories you enriched them, and by enriching them you laid the foundations for what now is commonplace. When others were content to wrestle with the complex, you created categories for the complex; when others ignored the degeneracies, you faced them, when others found only obstructions you founded the theory of obstructions. You created the exact tools to classify the spaces of mathematics and the the space in which to classify them. Your singular constructions became the standard. Your style became _the_ style. Expert in collecting Indonesian bronzes, and poker chips, while eschewing formal honors, you have nonetheless garnered acclaim as University Professor of Mathematics at Columbia University -- and card-carrying member of the Society of Bourbaki. Aware that your truest honor is the esteem in which are are held by your students, including your colleagues at the University of Pennsylvania, the Trustees prevail upon you, Samuel Eilenberg, to accept from their hand the formal proof of their admiration, the honorary degree, Doctor of Science From rrosebru@mta.ca Sun Jul 9 09:14:31 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 09 Jul 2006 09:14:31 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FzXzF-0004qT-II for categories-list@mta.ca; Sun, 09 Jul 2006 09:02:09 -0300 Date: Sat, 8 Jul 2006 00:39:03 +0100 (BST) From: "Prof. Peter Johnstone" To: categories@mta.ca Subject: categories: Re: Cohn obit MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 16 I can confirm that Paul Cohn had a keen interest in categories. As Editor of the L.M.S. Mathematical Monographs series in the 1970s, he was responsible for accepting my first topos theory book for publication in that series, and he didn't just rely on referees -- he really wanted to understand for himself what the book was about. Peter Johnstone From rrosebru@mta.ca Tue Jul 11 10:48:39 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 11 Jul 2006 10:48:39 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G0ITd-0007Iz-Gs for categories-list@mta.ca; Tue, 11 Jul 2006 10:40:37 -0300 Date: Tue, 11 Jul 2006 09:15:36 +0200 From: Computer Science Logic '06 Conference To: categories@mta.ca Subject: categories: Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 17 ********************************************************************** * Algebraic Theory of Automata and Logic * * Satellite workshop of the conference CSL 06 * * September 30 -- October 1, 2006, Szeged, Hungary * * Supported by the AUTOMATHA project of ESF * * http://www.inf.u-szeged.hu/~csl06/ws.php * * CALL FOR PAPERS * ********************************************************************** Organizers: Z. =C9sik, H. Straubing, P. Weil, Th. Wilke The aim of the workshop is to provide a forum for researchers interested in the structure theory of automata and/or the application of the algebraic approach to logic to present their results and to combine their efforts in the further development of the structure theory of finite automata, tree automata and related structures in connection with formal logic. The scientific program will consist of invited lectures and contributed talks. It is also intend to leave some room for discussions (open problem session, etc.). It is expected that some Ph. D. students will also attend the meeting. Abstracts of contributed talks must be sent by e-mail to Prof. Zoltan Esik, ze@inf.u-szeged.hu The abstract should be of no more than two=20 pages. The submission deadline is 20 July, 2006. Notifications of acceptance will be sent by 30 July, 2006. We will announce the titles of the talks. A limited number of participants from ESF member countries will receive free registration. Applications for free registration must be sent by e-mail to Prof. Zoltan Esik, ze@inf.u-szeged.hu by 30 July, 2006. For details regarding applications refer to the URL given above. If after the meeting there will be interest in publishing either a proceedings or a special journal issue, then the organizers will take responsibility of finding a suitable forum and will act as editors. From rrosebru@mta.ca Thu Jul 13 12:40:56 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 13 Jul 2006 12:40:56 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G139N-0004VO-17 for categories-list@mta.ca; Thu, 13 Jul 2006 12:30:49 -0300 Date: Tue, 11 Jul 2006 10:53:40 -0700 From: Walter Tholen To: categories@mta.ca Subject: categories: Summer School: Haute-Bodeux, 2007 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 18 SUMMER SCHOOL ON CONTEMPORARY CATEGORICAL METHODS IN ALGEBRA AND TOPOLOGY Haute-Bodeux, Belgium, 3-10 June 2007 In the tradition of previous meetings held at this location, a Summer=20 School on Contemporary Categorical Methods in Algebra and Topology will=20 be held in Haute-Bodeux, a village in the Ardennes region of south-east=20 Belgium, from June 3 (arrival day) until June 10, 2007 (departure day).=20 The primary aim of the meeting is to provide students and young=20 researchers who already have a working knowledge of categories with an=20 opportunity to learn about various topics of interest in categorical=20 algebra and topology, including - categorical and topological aspects of semi-abelian theories, - categorical descent and Galois theory, - accessible categories and their applications to homotopy theory, - lax-algebraic methods in categorical topology. However, more established researchers in nearby fields who wish to=20 enhance their knowledge on these topics are also welcome. Lecture series=20 will be given by the following researchers who constitute the Scientific=20 Committee of the meeting: - Maria Manuel Clementino - Dominique Bourn - George Janelidze - Jiri Rosicky - Walter Tholen. If time permits there will be an opportunity for participants to present=20 talks on their own research. The local organizer of the Summer School is=20 Francis Borceux. It is estimated that the total cost of the meeting will=20 be about 975 Euros per person: this covers the registration fee,=20 transportation from and to Brussels airport or Li=E8ge railway station (o= n=20 the designated arrival and departure days), accommodation and meals=20 (including conference dinner and drinks with meals), social activities=20 and an excursion (excluding dinner on the excursion day). Unfortunately,=20 the organizers do not have funds available to provide any financial=20 support. Accommodation in Haute-Bodeux is strictly limited, and attendance at the=20 meeting will be by invitation only. However, anyone who wishes to be=20 considered for invitation, or to propose names of people who might be=20 invited, is asked to send an e-mail to Walter Tholen=20 before the end of September 2006. It is=20 expected that invitations will be sent out early in November 2006. Those=20 invited will be sent formal letters of invitation to assist them in=20 obtaining funding, and will also be provided with a reading list of=20 material which may be assumed in the Summer School lectures. From rrosebru@mta.ca Thu Jul 13 12:40:56 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 13 Jul 2006 12:40:56 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G13Bp-0004eK-3V for categories-list@mta.ca; Thu, 13 Jul 2006 12:33:21 -0300 Date: Tue, 11 Jul 2006 17:36:25 +0100 From: Iain Phillips MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Express '06 - Call for Participation Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 19 Call for Participation 13th International Workshop on Expressiveness in Concurrency EXPRESS'06 Affiliated with CONCUR 2006 Bonn, Germany 26 August 2006 http://www.doc.ic.ac.uk/express06 The early registration deadline is *July 18th*. http://depend.cs.uni-sb.de/concur06 The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. INVITED SPEAKERS: Robin Milner (Cambridge, UK) - Joint Express-Infinity-SOS Hagen Voelzer (Luebeck, Germany) - Express PRELIMINARY PROGRAMME: 9.00 - 10.00: Express invited talk: Hagen Voelzer * When a system is fairly correct 10.00 - 10.30: Morning Session * Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Fair Pi 10.30 - 11.00: COFFEE BREAK 11.00 - 12.30: Morning Session * Jos Baeten, Flavio Corradini, Clemens Grabmayer On the Star Height of Regular Expressions Under Bisimulation * Xu Wang, Marta Kwiatkowska Compositional state space reduction using untangled actions * Ahmed Bouajjani, Jan Strejcek, Tayssir Touili On Symbolic Verification of Weakly Extended PAD 12.30 - 14.30: LUNCH 14.30: Joint Express-Infinity-SOS invited talk: Robin Milner * Bigraphs, multi-local names and confluence 15.30 - 16.00 Afternoon Session * Vincent Danos, Jean Krivine, Pawel Sobocinski General reversibility 16.00 - 16.30: COFFEE BREAK 16.30 - 18.30: Afternoon Session * Daniele Gorla Synchrony vs Asynchrony in Communication Primitives * Lucy Saunders-Evans, Glynn Winskel Event Structure Spans for Non-deterministic Dataflow * Lu=EDs Caires, Hugo Torres Vieira Extensionality of Spatial Observations in Distributed Systems * Daniel Hirschkoff, Damien Pous On Closure under Substitution of Strong Bisimilarity PROGRAMME CO-CHAIRS: Roberto Amadio (Univ. Paris 7, France) Iain Phillips (Imperial College London, UK) PROGRAMME COMMITTEE: Roberto Amadio (Univ. Paris 7, France) Michele Bugliesi (Univ. Ca' Foscari, Italy) Nadia Busi (Univ. di Bologna, Italy) Sibylle Froeschle (Warsaw Univ., Poland) Antonin Kucera (Masaryk Univ. in Brno, Czech Rep.) Bas Luttik (Technical Univ. Eindhoven, Netherlands) Michael Mislove (Tulane Univ., USA) Uwe Nestmann (TU Berlin, Germany) Joel Ouaknine (Univ. of Oxford, UK) Catuscia Palamidessi (INRIA Futurs, LIX Ecole Polytechnique, FR) Iain Phillips (Imperial College London, UK) Philippe Schnoebelen (CNRS Cachan, France) Pawel Sobocinski (Univ. of Cambridge, UK) Marielle Stoelinga (Univ. of Twente, Netherlands) CONTACT: Iain Phillips - iccp@doc.ic.ac.uk Roberto Amadio - Roberto.Amadio@pps.jussieu.fr From rrosebru@mta.ca Thu Jul 13 17:40:40 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 13 Jul 2006 17:40:40 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G17ux-0000uQ-8Q for categories-list@mta.ca; Thu, 13 Jul 2006 17:36:15 -0300 Date: Thu, 13 Jul 2006 11:38:02 -0400 (EDT) From: Peter Freyd To: categories@mta.ca Subject: categories: New York Times on Saunders and Irving Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 20 [I find it intriguing that Saunders and category theory appear in the third paragraph of Kap's NYTime obit:] From 1945 to 1984, Dr. Kaplansky taught at the University of Chicago, where he joined his famous former teacher, Saunders Mac Lane, who worked on topology and category theory, an abstract branch of algebra with applications in computer science. Dr. Mac Lane died in 2005. Dr. Kaplansky's interests were similarly broad.... [Maybe we should be thankful that Saunders didn't see the mention of CS.] Copyright 2006 The New York Times Company The New York Times July 13, 2006 Thursday Late Edition - Final SECTION: Section B; Column 1; National Desk; Pg. 7 LENGTH: 521 words HEADLINE: Irving Kaplansky, 89, a Leader In Mathematical Exploration BYLINE: By JEREMY PEARCE BODY: Irving Kaplansky, a mathematician who broke ground in exploring concepts central to algebra and multiplication, died on June 25 at his home in the Los Angeles community of Sherman Oaks. He was 89. The cause was respiratory failure, his family said. >From 1945 to 1984, Dr. Kaplansky taught at the University of Chicago, where he joined his famous former teacher, Saunders Mac Lane, who worked on topology and category theory, an abstract branch of algebra with applications in computer science. Dr. Mac Lane died in 2005. Dr. Kaplansky's interests were similarly broad, and he explored the properties of groups of numbers called commutative groups, also known as Abelian groups, in which the order that a group's members are multiplied does not affect their outcome. He published ''Infinite Abelian Groups'' (1954, 1969) and ''took a big step in showing how far you could go with infinite elements'' that are commutative, said David Eisenbud, director of the Mathematics Sciences Research Institute in Berkeley, Calif. From 1984 to 1992, Dr. Kaplansky directed the institute. J. Peteer May, a former student of Dr. Kaplansky and a professor of mathematics at the University of Chicago, praised his ''exceedingly incisive mind that saw through to the essentials in mathematical arguments with precision and clarity.'' Dr. Kaplansky went on to write ''Commutative Rings'' (1970), a work that Dr. Eisenbud said remained in use and was ''narrowly focused on its subject, a subject that, partly because of this book, has since gone much further.'' Dr. Kaplansky later wrote about an area bridging algebra and topology, a field that involves the study of real or abstract spaces, in ''Lie Algebras and Locally Compact Groups'' (1971). A noted pianist, he also composed music, often on mathematical themes, and contributed to performances of Gilbert and Sullivan productions in Chicago. Irving Kaplansky was born in Toronto. He received his bachelor's and master 's degrees from the University of Toronto before earning a doctorate in mathematics from Harvard in 1941. After early work at Columbia, Dr. Kaplansky moved to Chicago in 1945. He was named a professor of mathematics there in 1955, and a professor emeritus in 1984. He became an American citizen in the 1950's. Dr. Kaplansky was a member of the Institute for Advanced Study in Princeton, N.J., and was elected to the National Academy of Sciences in 1966. He also was president of the American Mathematical Society. In 1989, the society awarded him its Leroy P. Steele Prize for Lifetime Achievement. Dr. Kaplansky is survived by his wife of 55 years, the former Chellie Brenner. He is also survived by a daughter, Lucy, a singer-songwriter, of Manhattan; two sons, Alex, of Hillsborough, N.J., and Steven, of Sherman Oaks; and two grandchildren. As a musician entranced with the mathematical possibilities of music, Dr. Kaplansky once wrote a melody based on assigning notes to the first 14 decimal places of pi. Called ''A Song About Pi,'' it received lyrics in 1971 from a Chicago colleague, Enid Rieser, and has been sung by Dr. Kaplansky's daughter in her act. From rrosebru@mta.ca Sat Jul 15 20:13:16 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 15 Jul 2006 20:13:16 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G1t7n-0005P2-St for categories-list@mta.ca; Sat, 15 Jul 2006 20:00:39 -0300 To: categories@mta.ca From: Dana Scott Subject: categories: Two recent deaths Date: Fri, 14 Jul 2006 09:48:14 -0700 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 21 Begin forwarded message: > From: Joseph Goguen Festschrift > Date: July 13, 2006 8:45:24 PM PDT > Cc: ryoko@cs.ucsd.edu, rodburstall@yahoo.co.uk > Subject: Ryoko Goguen: Memories and thoughts from Joseph's friends > and colleages > Reply-To: ryoko@cs.ucsd.edu > > Dear friends and colleagues of Joseph, > > As you will have heard my husband Joseph passed away > early last week, just after the Fest meeting to > celebrate his 65th birthday. > > I would be very happy if you would send me any > thoughts or memories of Joseph, brief or longer, > whatever comes to mind. > > My email is ryoko@cs.ucsd.edu. > > He had been ill for a few months and worked with the > illness and the effects of the medication with great > patience and courage. He managed to help his students > and keep going long enough to participate in the > birthday celebrations and encorage the participants to > keep working together as a community. > > Sincerely > Ryoko Amadee Goguen > Begin forwarded message: > From: Patsy McCarthy > Date: July 13, 2006 6:40:46 AM PDT > To: +dist+~pj/public/math-allfaculty.dl@andrew.cmu.edu > Subject: Death of Professor Emeritus Oswald Wyler > > I am saddened to announce that Mathematical Sciences Professor > Emeritus Oswald Wyler passed away yesterday. Professor Wyler, > 84, had been battling cancer since 1993. > > The Wylers had been living in Maine at > > 28 Matthew Drive > Brunswick, ME 04011-3271. > > I will pass on any additional information provided by the family > as I receive it. > -- > Patsy J. McCarthy > Assistant to the Dept. Head > Mathematical Sciences, WeH 6113 > Carnegie Mellon University > Tel: 412-268-2545 > Fax: 412-268-6380 > > From rrosebru@mta.ca Mon Jul 17 11:52:42 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 17 Jul 2006 11:52:42 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G2UIG-0001bD-1D for categories-list@mta.ca; Mon, 17 Jul 2006 11:41:56 -0300 Date: Sun, 16 Jul 2006 22:44:30 +0200 From: Susanne Graf To: undisclosed-recipients:; Subject: categories: [verimag-news ] Call for tutorial papers - FMCO 2006 - Amsterdam Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 22 *************************************************************** * CALL FOR TUTORIAL PAPERS * * * * 5th International Symposium on * * Formal Methods for Objects and Components * * FMCO 2006 * * 7 - 10 November 2006 * * CWI, Amsterdam, The Netherlands * * * * http://fmco.liacs.nl/fmco06.html * * * *************************************************************** The FMCO symposium is an annual international event on the application and development of formal methods in software engineering, with a special focus on component-based and object-oriented software systems. We invite submissions of tutorial papers on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: - models and logics for object-oriented and component-based systems; - formal aspects of analysis of large systems; - prediction, analysis and monitoring of extra-functional properties; - applications of modal logics, temporal logics and model checking for the specification and verification of object-oriented languages; - type systems and type theory for objects and components; - probabilistic systems, process calculi, and semantics of object and component oriented languages; - reasoning about security, trustworthiness and dependability of component-based systems. Important Dates --------------- Authors are invited to submit a title and a short abstract of one or two pages providing a tutorial perspective on research results or experiences related to the topics above. Accepted abstracts will be presented at the symposium and an extended tutorial paper of about 20 pages in LNCS style will be refereed and eventually published together with the contributions of the keynote speakers after the symposium, in a proceeding of Lecture Notes in Computer Science by Springer-Verlag. Selected papers will be published in revised and extended version in the Elsevier journal Theoretical Computer Science. Title and short abstract due: 5 September 2006 Abstract notification: 1 October 2006 Symposium: 7-10 November 2006 Tutorial paper due: 28 February 2007 Paper notification: 15 April 2007 Camera-ready paper due: 15 May 2007 The short abstracts must be in English and provide sufficient details to allow the organizing committee and the advisory board assessing the potential merits of the related tutorial papers. One author of each accepted abstract will be expected to present the tutorial at the symposium. The tutorial papers must be unpublished and not submitted for publication, but may contain previously published material. Short abstracts and tutorial papers must be submitted electronically to F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl). Format ------ The symposium is a four days event organised to provide an atmosphere that fosters collaborative work, discussions and interactions. Lectures are given by the keynote speakers listed below and by authors of accepted abstract. Keynote speakers and advisory board ----------------------------------- Gul Agha (The University of Illinois at Urbana-Champaign, USA) Sophia Drossopoulou (Imperial College, UK) Radu Iosif (Verimag, FR) Thierry Jeron (INRIA Rennes, FR) Erik Meijer, (Microsoft research, USA) Jayadev Misra (University of Texas at Austin, USA) Vijay A. Saraswat (IBM Research, USA) Vladimiro Sassone (University of Southampton, UK) Jan Tretmans (Radboud University Nijmegen, NL) Moshe Vardi (Rice University, USA) Philip Wadler (University of Edinburgh, UK) Organizing committee -------------------- F. S. de Boer (CWI and LIACS-Leiden University) M. M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.-P. de Roever (Christian-Albrechts University of Kiel) Sponsorship ----------- The symposium is sponsored by NWO, CWI, and LIACS. ============================================================================== For more information about the symposium see the FMCO site above or consult either F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl). From rrosebru@mta.ca Mon Jul 17 11:52:42 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 17 Jul 2006 11:52:42 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G2UHD-0001Vm-Fs for categories-list@mta.ca; Mon, 17 Jul 2006 11:40:51 -0300 Date: Sun, 16 Jul 2006 16:13:17 +0200 From: metere@mat.unimi.it Subject: categories: Milano 2006 - WORKSHOP in CATEGORICAL ALGEBRA To: categories@mta.ca MIME-version: 1.0 Content-type: text/plain; charset=ISO-8859-1 Content-transfer-encoding: QUOTED-PRINTABLE Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 23 ##################################################### # # # INTERNAL ACTIONS and INTERNAL STRUCTURES # # # # WORKSHOP in CATEGORICAL ALGEBRA # # # # 26th-27th-28th october 2006, Milano, Italy # # # ##################################################### The purpose of the workshop is to consider the notion of internal act= ion in different categorical contexts and to relate it with internal structu= res defined thereby. In particular, the well established context of semiabelian categories= provides a natural setting for studying the interplay between categorical and a= lgebraic aspects of actions, with respect to internal structures that may be d= efined. Nevertheless, more general settings are worth to be considered ( lex= pointed categories with sums, protomodular categories...) Keywords of the meeting are: the representability of actions, suffici= ent conditions for their existence, universal actions, categorical semi-= direct product and constructions, internal groupoids and internal crossed mo= dules, internal commutator theory, cohomological implications. The workshop is intended to reflect its etymology, in order to give t= he participants a fruitful opportunity of debate and exchange experience= s about the subject. That is the reason why after every lecture there will be time for inf= ormal discussions. The backbone of the meeting are the lectures of the invited speakers:= Dominique Bourn (Universit=E9 du Littoral), Marino Gran (Universit=E9 du Littor= al) and Enrico Vitale (Universit=E9 Catholique LLN). Lectures are scheduled on Thur= sday 26th and Friday 27th (morning and afternoon), and on Saturday 28th (only m= orning). Attendance is open to everyone and other contributions on related top= ics will be considered with pleasure. The workshop will take place at the Math Department of Universit=E0 d= egli Studi, Milan, Italy. Detailed program, logistic and further information will follow. ---------------------------------------------------------------------= - Organizing committee: Stefano Kasangian, Sandra Mantovani, Giuseppe M= etere. For info, please contact the organizing committee to milanworkshop.06@gmail.com webpage: http://users.mat.unimi.it/users/mantovani/workshopMi06.htm ---------------------------------------------------------------- From rrosebru@mta.ca Wed Jul 19 23:20:57 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 19 Jul 2006 23:20:57 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G3O0j-0002LM-QM for categories-list@mta.ca; Wed, 19 Jul 2006 23:11:33 -0300 Date: Wed, 19 Jul 2006 11:39:09 -0300 (ADT) From: Bob Rosebrugh To: categories Subject: categories: list interruption MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 24 The categories moderator will be mostly out of email contact for the period July 22-Aug 2, 2006. Postings submitted to categories during that period will be distributed by August 3. Best wishes, Bob Rosebrugh