From MAILER-DAEMON Thu May 10 12:15:15 2007 Date: 10 May 2007 12:15:15 -0300 From: Mail System Internal Data Subject: DON'T DELETE THIS MESSAGE -- FOLDER INTERNAL DATA Message-ID: <1178810115@mta.ca> X-IMAP: 1175556220 0000000027 Status: RO This text is part of the internal format of your mail folder, and is not a real message. It is created automatically by the mail system software. If deleted, important folder data will be lost, and it will be re-created with the data reset to initial values. From rrosebru@mta.ca Mon Apr 2 15:09:31 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 02 Apr 2007 15:09:31 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HYQot-0003vc-V5 for categories-list@mta.ca; Mon, 02 Apr 2007 14:59:56 -0300 Date: Sun, 1 Apr 2007 21:30:38 -0500 (CDT) From: Gabor Lukacs To: categories@mta.ca Subject: categories: Alexandroff-Urysohn paper MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 1 Hi All, I am wondering if anyone knows the page numbers of the following paper by Alexandroff and Urysohn: M\'{e}moire sur les espaces topologiques compacts, Vehr. Akad. Wetensch. Amsterdam 14 (1929) I found this reference on page 470 of Engelking's "General Topology" (second edition). I am wondering if it is a typo, or maybe this is a monograph on its own? I was tryign to look up information on Vehr. Akad. Wetensch. Amsterdam, but I found very little about it. Many thanks, Gabi From rrosebru@mta.ca Mon Apr 2 15:09:32 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 02 Apr 2007 15:09:32 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HYQqd-0004Jv-Vy for categories-list@mta.ca; Mon, 02 Apr 2007 15:01:44 -0300 Date: Mon, 02 Apr 2007 14:10:59 +0800 From: Chris George MIME-Version: 1.0 To: petrinet@informatik.uni-hamburg.de Subject: categories: ICTAC 2007: Final call for papers 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: 2 Call for Papers ICTAC 2007 4th International Colloquium on Theoretical Aspects of Computing 26-28 September 2007, Macao SAR, China http://www.iist.unu.edu/ictac07 Important Dates: Paper submission: 20 April 2007, Notification of acceptance: 1 June 2007, Final copy for proceedings: 22 June 2007, ICTAC 2007: 26-28 September 2007. Associated Events: - School on Domain Modelling and the Duration Calculus, 17-21 September 2007, Shanghai - Festschrift Symposium dedicated to the 70th birthdays of Dines Bj=F8rner and Zhou Chaochen, 24-25 September 2007, Macao - Workshops, 22-23 September, 2007, Macao See Call for Workshop Proposals at conference URL! ICTAC is an International Colloquium on Theoretical Aspects of Computing founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. The previous three ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006). The topics of the conference include, but are not limited to: - automata theory and formal languages - principles and semantics of programming languages - logics and their applications - software architectures and their description languages - software specification, refinement, and verification - model checking and theorem proving - formal techniques in software testing - models of object and component systems - coordination and feature interaction - integration of formal and engineering methods - service-oriented development - models of concurrency, security, and mobility - theory of parallel, distributed, and internet-based (grid) computing - real-time, embedded and hybrid systems - type and category theory in computer science - case studies - theories, tools and experiments of verified systems - integration of theories of system development and their tool support ICTAC 2007 will have a technical program for five days including a two-day festschrift symposium dedicated to the 70th birthdays of former UNU-IIST directors, Dines Bj=F8rner and Zhou Chaochen, and three days for a conference. There will also be a training school in the preceding week on topics of Domain Modelling and the Duration Calculus, to which Dines Bj=F8rner and Zhou Chaochen have made significant contribution. Paper Submissions: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Papers should be written in English and not exceed 15 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Proceedings of the previous editions of ICTAC were published by Springer in the LNCS series. We plan to do the same this year. Best papers will be selected from the accepted papers and their authors invited to submit an extended version of their work to a special issue of Formal Aspects of Computing. Submission Procedure: Further information and instruction about submission can be found at the conference website http://www.iist.unu.edu/ictac07. General Chairs: John Fitzgerald, Newcastle University, UK George Michael Reed, UNU-IIST, Macao Program Chairs: Cliff Jones, Newcastle University, UK Zhiming Liu, UNU-IIST, Macao Jim Woodcock, University of York, UK Organisation Chair: Chris George, UNU-IIST, Macao Workshop Chair: Dang Van Hung, UNU-IIST, Macao Publicity Chair: Bernhard K. Aichernig, TU Graz, Austria Sponsored by: UNU-IIST, Formal Methods Europe PC Members: M=EDche=E1l mac an Airchinnigh, IE Farhad.Arbab, NL Kamel Barkaoui, FR Jonathan P. Bowen, UK Andrew Butterfield, IE Ana Cavalcanti, UK Antonio Cerone, MO Jim Davies, UK David Deharbe, BR Jin Song Dong, SG Lindsay Groves, NZ Stefan Hallerstede, CH Michael Hansen, DK Ian Hayes, AU Dang Van Hung, MO Mathai Joseph, IN Joseph Kiniry, IE Peter Gorm Larsen,DK Xuandong Li, CN Shaoying Liu, JP Ali Mili, US Joe Morris, IE Leonor Prensa Nieto, FR Anders Ravn, DK Augusto Sampaio, BR Emil Sekerinski, CA Natarajan Shankar, US Ji Wang, CN Naijun Zhan, CN Invited Speakers: Dines Bj=F8rner, JAIST, Japan Zhou Chaochen, Institute of Software, CAS, China He Jifeng, East China Normal University, China Zohar Manna, Stanford University, USA From rrosebru@mta.ca Mon Apr 2 19:56:29 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 02 Apr 2007 19:56:29 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HYVOK-0000m9-Bq for categories-list@mta.ca; Mon, 02 Apr 2007 19:52:48 -0300 From: "Marta Bunge" To: categories@mta.ca Subject: categories: RE: Alexandroff-Urysohn paper Date: Mon, 02 Apr 2007 16:36:13 -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: 3 Dear Gabor, You will find the reference you need (with page numbers) in the bibliography of the paper below http://kolmogorov.unex.es/~fcabello/files/printable/21.pdf Best regards, Marta ************************************************ 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: Gabor Lukacs >To: categories@mta.ca >Subject: categories: Alexandroff-Urysohn paper >Date: Sun, 1 Apr 2007 21:30:38 -0500 (CDT) > >Hi All, > > >I am wondering if anyone knows the page numbers of the following paper by >Alexandroff and Urysohn: > >M\'{e}moire sur les espaces topologiques compacts, Vehr. Akad. Wetensch. >Amsterdam 14 (1929) > >I found this reference on page 470 of Engelking's "General Topology" >(second edition). I am wondering if it is a typo, or maybe this is a >monograph on its own? I was tryign to look up information on Vehr. Akad. >Wetensch. Amsterdam, but I found very little about it. > >Many thanks, > >Gabi > > > _________________________________________________________________ Your Space. Your Friends. Your Stories. Share your world with Windows Live Spaces. http://spaces.live.com/?mkt=en-ca From rrosebru@mta.ca Mon Apr 2 19:56:29 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 02 Apr 2007 19:56:29 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HYVNm-0000iu-UA for categories-list@mta.ca; Mon, 02 Apr 2007 19:52:14 -0300 From: Martin Escardo MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Mon, 2 Apr 2007 20:55:31 +0100 To: categories@mta.ca Subject: categories: Re: Alexandroff-Urysohn paper Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 4 Gabor, I presume you have already found out that it is not in Mathscinet. But it is in ZMath (the European counter-part of Mathscinet): http://zb.msri.org/cgi-bin/zmen/ZMATH/en/quick.html?first=1&maxdocs=20&type=html&an=55.0960.02&format=complete (It finds 7 joint papers of these two authors.) The missing details to your reference are: Verhandelingen Amsterdam 14, Nr.~1, 93 S. (1929) It seems to be a monograph. There is a long review of this written in German. Martin Gabor Lukacs writes: > I am wondering if anyone knows the page numbers of the following paper by > Alexandroff and Urysohn: > > M\'{e}moire sur les espaces topologiques compacts, Vehr. Akad. Wetensch. > Amsterdam 14 (1929) From rrosebru@mta.ca Tue Apr 3 23:27:00 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 03 Apr 2007 23:27:00 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HYv1n-0000WX-3S for categories-list@mta.ca; Tue, 03 Apr 2007 23:15:15 -0300 Date: Tue, 03 Apr 2007 17:21:18 -0400 From: Jacques Carette MIME-Version: 1.0 To: categories Subject: categories: Co-algebraic structure of the typed lambda-calculus 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: 5 I have been able to find some references to the co-algebraic structure of the untyped lambda-calculus, (work of Honsell and Lenisa, available at http://citeseer.ist.psu.edu/95166.html and http://portal.acm.org/citation.cfm?id=645892.671579&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618 ), but my search for a typed analogue has not turned up anything (which I could recognize as being what I was looking for). I found work by various authors (P. Aczel, B. Jacobs, J. Rutten, etc) which seemed 'close', but nothing seemed quite 'right'. I rather suspect that this has already been done and I am simply not using the right terms in my searches - could someone please provide me with some references? Thanks, Jacques From rrosebru@mta.ca Tue Apr 3 23:27:00 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 03 Apr 2007 23:27:00 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HYv2j-0000ap-E2 for categories-list@mta.ca; Tue, 03 Apr 2007 23:16:13 -0300 Date: Tue, 03 Apr 2007 16:48:00 -0400 From: Walter Tholen MIME-Version: 1.0 To: categories@mta.ca Subject: categories: "Mathematical Applications of Category Theory" Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 6 Dear category theorist: This is a call for participation in a special session on Mathematical Applications of Category Theory which will take place at the Winter Meeting of the Canadian Mathematical Society, to be held December 8-10, 2007, in London, Ontario. All information (as currently available) may be found at http://www.cms.math.ca/Events/winter07/ The following people have already accepted invitations to speak in the session: Bernard Badzioch, University at Buffalo Michael Barr, McGill University John Bell, University of Western Ontario Marta Bunge, McGill University Jonathon Funk, University of the West Indies Ernie Manes, University of Massachusetts Susan Niefield, Union College Robert Pare, Dalhousie University Dorette Pronk, Dalhousie University Bob Rosebrugh, Mount Allison University Myles Tierney, University of Quebec at Montreal Richard Wood, Dalhousie University We have space for a few additional speakers. All talks in the session will be 20-minute presentations, with an additional 10 minutes reserved for discussion and transition between sessions. If you are interested in giving a talk at the session, please contact Walter Tholen at tholen@mathstat.yorku.ca by May 15, 2007. We hope to see you at the session. Bill Lawvere and Walter Tholen (Organizers) From rrosebru@mta.ca Wed Apr 4 10:53:29 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 04 Apr 2007 10:53:29 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HZ5r9-0001wr-FF for categories-list@mta.ca; Wed, 04 Apr 2007 10:48:59 -0300 Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Categories Content-Transfer-Encoding: 7bit From: Ross Street Subject: categories: Re: Full and faithful Date: Tue, 3 Apr 2007 22:31:54 +1000 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 7 Perhaps "representably fully faithful" is a good name. In Cat, they are the fully faithful functors. In V-Cat they may not be fully faithful V-functors: see (with R.F.C. Walters) Yoneda structures on 2-categories, J. Algebra 50 (1978) 350-379 Also see (with A. Carboni, S. Johnson and D. Verity) Modulated bicategories, J. Pure Appl. Algebra 94 (1994) 229-282 ---Ross On 31/03/2007, at 3:44 AM, Robin Houston wrote: > A functor F: C -> D is full and faithful just when, for all > categories X and functors G, H: X -> C, the whiskering action of F > induces a bijection between [G, H] and [FG, FH] (where [G, H] > denotes the set of natural transformations from G to H). > > Clearly this formulation makes sense in any bicategory. Is there a > name for 1-cells with this property? From rrosebru@mta.ca Sun Apr 8 10:28:21 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 08 Apr 2007 10:28:21 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HaXHT-0005lI-BM for categories-list@mta.ca; Sun, 08 Apr 2007 10:18:07 -0300 From: "Ronnie Brown" To: Subject: categories: John Robinson Date: Sat, 7 Apr 2007 10:19:57 +0100 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: 8 I regret to announce that the sculptor John Robinson died from lung = cancer on 6 April. Friends will know his work from the web sites=20 www.bradshawfoundation.com/jr www.popmath.org.uk as someone who bridged art and science through a passionate interest in = humanity and the world, and was given striling images to express these = links.=20 Ronnie Brown From rrosebru@mta.ca Sun Apr 8 10:32:16 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 08 Apr 2007 10:32:16 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HaXU3-0006Kl-Bl for categories-list@mta.ca; Sun, 08 Apr 2007 10:31:07 -0300 From: "Philip Mulry" To: Subject: categories: FMCS 2007 - Call for Participation Date: Sat, 7 Apr 2007 17:21:09 -0400 MIME-Version: 1.0 Content-Type: text/plain;charset="iso-8859-1" Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 9 **************************************************** Second Announcement - FMCS 2007 The Department of Computer Science at Colgate University is hosting Foundational Methods in Computer Science 2007 on the Colgate University campus in Hamilton N.Y. Dates: Arrival on Thursday June 7, 2007 (Reception in the evening). Scientific Program Friday June 8 - Sunday June 10 (ends mid-day). The workshop is an annual meeting meant to bring together researchers in mathematics and computer science with a focus on the application of category theory in computer science. The meeting will begin with a day of research tutorials, followed by a day and a half of research talks. Invited speakers this year include: a.. Steve Awodey(Carnegie Mellon) b.. Steve Bloom(Stevens) c.. Robin Cockett (Calgary) d.. Paul Hudak(Yale) e.. Ernie Manes (U Mass) f.. Robert Rosebrugh(Mount Allison) The remaining research talks are solicited from participants. Time slots are limited, so please register early if you would like to be considered for a talk. Note: The registration deadline is May 20. University accommodations can not be guaranteed after that date. Graduate student participation is particularly encouraged at FMCS2007. Students will pay a reduced registration fee. Link: http://cs.colgate.edu/faculty/mulry/FMCS2007/FMCS2007.html Contacts The local organizer of FMCS 2007 is: Philip Mulry The secretary for FMCS 2007 is Char Jablonski From rrosebru@mta.ca Tue Apr 10 22:27:43 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 10 Apr 2007 22:27:43 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HbRTR-0002ST-Ro for categories-list@mta.ca; Tue, 10 Apr 2007 22:18:13 -0300 Mime-Version: 1.0 (Apple Message framework v752.3) From: Ross Street Subject: categories: Sydney Morning Herald today Date: Wed, 11 Apr 2007 09:13:12 +1000 To: Categories Content-Transfer-Encoding: 7bit Content-Type: text/plain;charset=US-ASCII;delsp=yes;format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 10 [Note from moderator: the relevant url is http://www.smh.com.au/news/obituaries/polymath-revelled-in-the-mystery-of-numbers/2007/04/10/1175971094331.html and it has a nice photo The editors took a few liberties with my submission. But I hope you will agree it is reasonable. There is also a photo (not included here) with the caption "Erudite". --Ross Timelines Polymath revelled in the mystery of numbers Date: April 11 2007 Max Kelly, 1930-2007 IT IS easy to be famous in Australia if you are a sportsperson or an actor; it's harder for a professor of mathematics who introduced a concept most people have never heard of, even if that concept is extremely useful in everyday life. Professor Emeritus Max Kelly was solely responsible for introducing into Australia a branch of mathematics known as category theory, which pervades almost all research in the fundamental structures of mathematics, allowing people in one branch of maths to understand others in a common form, not unlike Esperanto in languages. It is used in theoretical physics, computer architecture, software design, and banking and finance to connect ideas and streamline the management of information. In 1966 Kelly and Samuel Eilenberg wrote the monograph Closed Categories, which set the stage for two more generations of Australian category theorists who flourish and are highly acclaimed worldwide. Kelly's book Basic Concepts of Enriched Category Theory (1982) is a standard in the field. Gregory Maxwell Kelly, who has died at 76, showed his mathematical ability early. In 1946, he topped the state in the Leaving Certificate and took a Higher Exhibition in mathematics, after studying at Marist Brothers at Bondi. He graduated from Sydney University in 1950, with a science degree, first-class honours and the University Medal for mathematics and the James King of Irrawang travelling scholarship. He took his PhD at Cambridge in 1957. Kelly was appointed a professor of pure mathematics at the University of NSW in 1967 and a fellow of the Australian Academy of Science at the age of 42. He returned to Sydney University in 1973 as a professor, staying 21 years until his retirement in 1994. He was a true academic: erudite in the classics, a prolific researcher and publisher, editor for several journals, inspiring lecturer, PhD supervisor, successful department head, traveller, linguist, raconteur and bon vivant. Some colleagues claim him as a logician in his passionate insistence on precision and clarity in mathematics and his belief in, and search for, the grand order at the heart of the world. Much of his work can be called higher-order universal algebra. Aware of how fortunate his life had been, he felt obliged to give something back to the community. He happily gave time to aspiring young mathematicians and to all those keen to learn. Always aware of what was going on in the world, he was once threatened with excommunication from the Catholic Church for challenging the priest in Mass about the morality of the Vietnam War. Another time, frustrated by bureaucracies, he enlisted the media to borrow for a blind girl in a Catholic school a mathematics textbook in braille that was gathering dust in a Department of Education office. He was involved with Action for World Development and in ways to help the Aboriginal community in Redfern. In 1960 Kelly married Imogen Datson and they had four children, whom Kelly impressed with his range of knowledge - astronomy, languages, history, politics, theology and philosophy - as well as his ability to rebuild the lawnmower's carburettor and his habit of stopping in mid-conversation to admire his favourite flowering trees. Imogen took her PhD, in medieval drama, as a mature-aged student in 2002. Kelly used mathematics in ordinary life, too, devising an ingenious way of encoding PINs on his credit cards that involved Greek symbols encrypted with mathematical transformations. One such card had a square matrix of dots and symbols drawn on the back. To most people it would have looked like a smudge or a doodle, but to Kelly it was as clear as four written numbers. Kelly started learning ancient Greek recently and in his last months he was engaged in complex research on coherence theory, which he was typing despite failing eyesight. This research will be completed and published by collaborators in Canada and Italy. Max Kelly is survived by Imogen, their children, Dom, Martin, Catherine and Simon, and 10 grandchildren. Ross Street --Apple-Mail-15-371097120 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=US-ASCII
The editors = took a few liberties with my submission.
But I = hope you will agree it is reasonable.
There is = also a photo (not included here)
with the = caption "Erudite".
--Ross

Timelines

Polymath = revelled in the mystery of numbers
Date: April 11 2007


Max Kelly, 1930-2007
IT IS easy to be famous in = Australia if you are a sportsperson or an actor; it's harder for a = professor of mathematics who introduced a concept most people have never = heard of, even if that concept is extremely useful in everyday = life.
Professor Emeritus Max Kelly was = solely responsible for introducing into Australia a branch of = mathematics known as category theory, which pervades almost all research = in the fundamental structures of mathematics, allowing people in one = branch of maths to understand others in a common form, not unlike = Esperanto in languages. It is used in theoretical physics, computer = architecture, software design, and banking and finance to connect ideas = and streamline the management of information.
In 1966 Kelly and Samuel Eilenberg wrote the = monograph Closed Categories, which set the stage for two more = generations of Australian category theorists who flourish and are highly = acclaimed worldwide. Kelly's book Basic Concepts of Enriched Category = Theory (1982) is a standard in the field.
Gregory = Maxwell Kelly, who has died at 76, showed his mathematical ability = early. In 1946, he topped the state in the Leaving Certificate and took = a Higher Exhibition in mathematics, after studying at Marist Brothers at = Bondi. He graduated from Sydney University in 1950, with a science = degree, first-class honours and the University Medal for mathematics and = the James King of Irrawang travelling scholarship. He took his PhD at = Cambridge in 1957.
Kelly was appointed a = professor of pure mathematics at the University of NSW in 1967 and a = fellow of the Australian Academy of Science at the age of 42. He = returned to Sydney University in 1973 as a professor, staying 21 years = until his retirement in 1994.
He was a true = academic: erudite in the classics, a prolific researcher and publisher, = editor for several journals, inspiring lecturer, PhD supervisor, = successful department head, traveller, linguist, raconteur and bon = vivant.
Some colleagues claim him as a = logician in his passionate insistence on precision and clarity in = mathematics and his belief in, and search for, the grand order at the = heart of the world. Much of his work can be called higher-order = universal algebra.
Aware of how fortunate his = life had been, he felt obliged to give something back to the community. = He happily gave time to aspiring young mathematicians and to all those = keen to learn.
Always aware of what was going = on in the world, he was once threatened with excommunication from the = Catholic Church for challenging the priest in Mass about the morality of = the Vietnam War. Another time, frustrated by bureaucracies, he enlisted = the media to borrow for a blind girl in a Catholic school a mathematics = textbook in braille that was gathering dust in a Department of Education = office. He was involved with Action for World Development and in ways to = help the Aboriginal community in Redfern.
In 1960 = Kelly married Imogen Datson and they had four children, whom Kelly = impressed with his range of knowledge - astronomy, languages, history, = politics, theology and philosophy - as well as his ability to rebuild = the lawnmower's carburettor and his habit of stopping in = mid-conversation to admire his favourite flowering trees. Imogen took = her PhD, in medieval drama, as a mature-aged student in 2002.
Kelly used mathematics in ordinary life, too, = devising an ingenious way of encoding PINs on his credit cards that = involved Greek symbols encrypted with mathematical transformations. One = such card had a square matrix of dots and symbols drawn on the back. To = most people it would have looked like a smudge or a doodle, but to Kelly = it was as clear as four written numbers.
Kelly = started learning ancient Greek recently and in his last months he was = engaged in complex research on coherence theory, which he was typing = despite failing eyesight. This research will be completed and published = by collaborators in Canada and Italy.
Max = Kelly is survived by Imogen, their children, Dom, Martin, Catherine and = Simon, and 10 grandchildren.

Ross = Street


= --Apple-Mail-15-371097120-- From rrosebru@mta.ca Wed Apr 11 09:30:33 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 11 Apr 2007 09:30:33 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HbbsM-0002Zv-L4 for categories-list@mta.ca; Wed, 11 Apr 2007 09:24:39 -0300 Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: categories@mta.ca From: Paul-Andre Mellies Subject: categories: CNRS postdoctoral position in Paris Date: Tue, 10 Apr 2007 12:37:01 +0200 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 11 CNRS POSTDOCTORAL POSITION ANNOUNCEMENT A one-year postdoctoral fellowship in mathematics and computer science has been opened by the CNRS for the next academic year. The purpose of the postdoc position is to work in our research team PPS (Proofs, Programs, Systems) on a project at the interface between -- proof theory (linear logic) -- type theory (dependent types) -- homotopy theory (model structures) -- category theory (higher dimensional categories) The more detailed research project appears below. The postdoc position will take place at the Institut Mathematique de Jussieu, a very large and lively mathematical research institute situated in Paris centre. The deadline for submission is 10 MAY 2007. Potential applicants should contact us as early as possible Pierre-Louis Curien (curien at pps.jussieu.fr) Paul-Andre Mellies (mellies at pps.jussieu.fr) For more information about the PPS research group and the institute, see http://www.pps.jussieu.fr http://www.math.jussieu.fr ------------------------------------------------------------------------ -------------------------------------------- Research project Type theory plays a fundamental role in the definition of programming languages and proof systems. More specifically, dependent type theory introduced by Martin-Lof in the 1970s lies at the heart of many proof assistants, like the Coq system developed at INRIA. Recently, a promising meeting point has emerged between dependent type theory, and homotopy theory -- a theory embracing all of algebraic topology. The basic idea is simple: the typing towers encountered in type theory, where a program M has a type tau, which itself has a class s... are of the same nature as the homotopy towers, where two paths f and g of dimension 1 are related by homotopy relations alpha and beta of dimension 2, themselves related by homotopy relations of dimension 3, etc. However, this meeting point between type theory and homotopy theory can only be reached at the price of abstraction, using the higher dimensional category theory. We are convinced that this homotopic point of view leads eventually to a better integration of type theory (dependent types), proof theory (linear logic), and rewriting theory (rewriting modulo). Profile of the candidate The candidate will have an expertise in at least one of the following fields: proof theory, type theory, rewriting theory, homotopy theory, higher dimensional category theory. He will also be curious to learn the other fields, and to work at their interface. From rrosebru@mta.ca Fri Apr 13 16:49:24 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 13 Apr 2007 16:49:24 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HcRaQ-0001os-4C for categories-list@mta.ca; Fri, 13 Apr 2007 16:37:34 -0300 Date: Thu, 12 Apr 2007 22:14:39 +0100 (BST) From: "Prof. Peter Johnstone" To: Categories mailing list Subject: categories: Topos theory in the New Scientist MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 12 Category theorists in general, and topos theorists in particular, may want to check out this week's cover story in the New Scientist (www.newscientist.com). The author (Robert Matthews of Aston University in Birmingham) is clearly a fan of Chris Isham: it's not clear to me whether he actually knows what a topos is, but he has committed himself to statements such as "Topos theory could lead to a view of reality more astonishing and successful than quantum theory" which is splashed all over page 32 of the magazine. Even if you don't believe this (and I don't think I do) it's pleasant to see topos theory getting this sort of publicity. Peter Johnstone From rrosebru@mta.ca Sat Apr 14 09:32:43 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 14 Apr 2007 09:32:43 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HchKD-0001BX-Ms for categories-list@mta.ca; Sat, 14 Apr 2007 09:25:53 -0300 Date: Fri, 13 Apr 2007 10:02:41 +0200 (CEST) From: Roberto Amadio To: undisclosed-recipients: Subject: categories: CFP - From type theory to morphologic complexity. MIME-Version: 1.0 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 13 FROM TYPE THEORY TO MORPHOLOGIC COMPLEXITY A Colloquium in Honor of Giuseppe Longo Paris, 28-29 June 2007, in conjunction with Federated Conference on Rewriting, Deduction, and Programming (RDP 2007). This colloquium is organised to celebrate the 60th birthday of Giuseppe Longo. It includes the following speakers and talks (in alphabetical order). More details are available at the page http://www.pps.jussieu.fr/~gc/other/rdp/talks.html. To attend this event, please register following the instructions that will be made available at the RDP07 page http://www.rdp07.org/. INVITED SPEAKERS AND TALKS. Henk Barendregt and Jan Willem Klop.=20 Non-left linear reductions via infinitary lambda calculus. Kim Bruce.=20 Modularity and Scope in Object-Oriented Languages. Luca Cardelli.=20 Artificial Biochemistry. Pierre-Louis Curien.=20 Computational self-assembly. Mariangiola Dezani.=20 Session Types for Object-Oriented Languages. Abbas Edalat.=20 Recursively measurable sets and computable measurable sets. Jean-Yves Girard.=20 Truth, modality, intersubjectivity. Furio Honsell and Gordon Plotkin.=20 On the beta-eta-completeness and expressiveness of some classes=20 of combinatory algebras. Martin Hyland.=20 Modelling the Impossible. Eugenio Moggi.=20 Category Theory and Lambda Calculus. Mioara Mugur-Sch=E4chter.=20 On the patient quest of Giuseppe Longo for a general unity and coherence. Thierry Paul.=20 Semiclassical analysis and sensitivity to initial data. Jean Petitot.=20 Neurogeometry and the origin of space. John Stewart: Is "life" computable? From rrosebru@mta.ca Sun Apr 15 17:16:31 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 15 Apr 2007 17:16:31 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HdAzw-000258-MZ for categories-list@mta.ca; Sun, 15 Apr 2007 17:06:56 -0300 Date: Fri, 13 Apr 2007 17:21:48 -0500 From: "Galchin Vasili" Subject: categories: Re: Topos theory in the New Scientist To: "Categories mailing list" 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: 14 Isham's new set of papers "A Topos Foundation for Theories of Physics" .. http://math.ucr.edu/home/baez/topos_physics/ On 4/12/07, Prof. Peter Johnstone wrote: > > Category theorists in general, and topos theorists in particular, > may want to check out this week's cover story in the New Scientist > (www.newscientist.com). The author (Robert Matthews of Aston > University in Birmingham) is clearly a fan of Chris Isham: it's not > clear to me whether he actually knows what a topos is, but he has > committed himself to statements such as > > "Topos theory could lead to a view of reality more astonishing > and successful than quantum theory" > > which is splashed all over page 32 of the magazine. Even if you don't > believe this (and I don't think I do) it's pleasant to see topos theory > getting this sort of publicity. > > Peter Johnstone > From rrosebru@mta.ca Mon Apr 16 10:24:51 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 16 Apr 2007 10:24:51 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HdR6L-0004Ra-M5 for categories-list@mta.ca; Mon, 16 Apr 2007 10:18:37 -0300 Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: categories@mta.ca From: Marco Grandis Subject: categories: two preprints on Kan extensions in/for double categories Date: Mon, 16 Apr 2007 15:07:15 +0200 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 15 This is to announce two preprints, which take on our study of weak double categories and deal with Kan extensions. The first two parts, dealing with limits and adjoints, respectively, where published in "Cahiers" (1999, 2004) and can also be found on my server. M. Grandis ________________ M. Grandis - R. Pare, Kan extensions in double categories (On weak double categories, Part III), Dip. Mat. Univ. Genova, Preprint 553 (2007). http://www.dima.unige.it/~grandis/Dbl3.pdf (ps) ________________ ---, Lax Kan extensions for double categories (On weak double categories, Part IV), Dip. Mat. Univ. Genova, Preprint 554 (2007). http://www.dima.unige.it/~grandis/Dbl4.pdf (ps) ________________ Abstracts. Part III. This paper deals with Kan extensions in a weak double category. Absolute Kan extensions are closely related to the orthogonal adjunctions introduced in a previous paper. The pointwise case is treated by introducing internal comma objects, which can be defined in an arbitrary double category. Part IV. Right Kan extensions for weak double categories extend double limits and other constructions, called vertical companions and vertical adjoints, studied in previous papers. We prove that these particular cases are sufficient to construct all pointwise unitary lax right Kan extensions, along those lax double functors which satisfy a Conduche type condition. Double categories 'based on profunctors' are complete, i.e. have all such constructions, while the double category of commutative squares on a complete category is not, in general. From rrosebru@mta.ca Mon Apr 16 20:21:40 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 16 Apr 2007 20:21:40 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HdaLj-0005iK-Tu for categories-list@mta.ca; Mon, 16 Apr 2007 20:11:08 -0300 Mime-Version: 1.0 (Apple Message framework v752.3) To: categories@mta.ca Subject: categories: Foundation SMP: a new postdoc (et al.) program in Paris From: Pierre-Louis Curien Date: Mon, 16 Apr 2007 17:40:44 +0200 Content-Transfer-Encoding: 7bit Content-Type: text/plain;charset=US-ASCII;delsp=yes;format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 16 Dear colleagues, I am happy to announce that a new Foundation called "Sciences Mathematiques de Paris" has just been created: www.sciencesmaths-paris.fr It groups several major laboratories of Paris in the field of mathematics, as well as the two computer science laboratories of Paris 7 University (LIAFA, www.liafa.jussieu.fr, and PPS, www.pps.jussieu.fr). The foundation will launch a number of programs. For this coming academic year (2007/2008), the following programs may be relevant for computer scientists interested to spend some time in Paris and wish to work in LIAFA or PPS: - a postdoc program (deadline for application: May 4th) - an invitation program for scientists for visits of 2 to 3 months (deadline for application: May 18th) From rrosebru@mta.ca Thu Apr 19 10:53:38 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 19 Apr 2007 10:53:38 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HeWwf-0002Pn-Ig for categories-list@mta.ca; Thu, 19 Apr 2007 10:45:09 -0300 From: Thomas Streicher Subject: categories: Workshop Novosibirsk To: categories@mta.ca Date: Thu, 19 Apr 2007 13:21:38 +0200 (CEST) MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 17 Dear colleagues, Below (also as a pdf-attachment) you find the call for submission of contributed talks to the Joint Workshop 'Domains8' and 'Computability Over Continuous Data Types', Novosibirsk, September 11--15, 2007. =20 It suffices to submit a title with an abstract.=20 The Deadline is May 15. As foreign participants need a visa, registration has to be done=20 until June 30=20 through the webpage indicated below. As the procedure to obtain a visa is time consuming (see below), these dates are mandatory. =20 You also find the list of invited speakers below. Usually, in the middle of September the weather is nice and sunny in Novosibirsk with temperatures around 15 C. Kind regards, Klaus Keimel _________________________________________________________- =20 Call for Contributed Talks Joint Workshop Domains VIII and Computability Over Continuous Data Types Novosibirsk, September 11 -- 15, 2007 The Workshop 'Domains' series is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. It focusses on domain theory, its =20 applications and related topics. It will be combined with topics based=20 on the German--Russian project=20 'Computability Over Non-discrete Structures: Models, Semantics, Complexity= '=20 supported by Russian Foundation for Basic Research (RFBR) and Deutsche=20 Forschungsgemeinschaft (DFG). Webpage: www.sbras.ru/ws/domains/index.en.html=20 email: domains@math.nsc.ru SCOPE Topics for this workshop include, but are not limited to domains and topology for semantics effective domains and spaces computation over continuous spaces program semantics models of sequential computation lambda calculus realizability proof mining constructive mathematics and its semantics computability theory computable models admissible sets LOCATION The Workshop will take place at the Sobolev Instituts of Mathematics of the Siberian Branch of the Russian Academy of Sciences located in Akademgorodok, which is formally a district of Novosibirsk. =20 CONTRIBUTED TALKS There will be ample time available for contributed talks. If you would=20 like to participate and to give a talk, please submit a one page abstract= =20 to domains@math.nsc.ru Shortly after an abstract is submitted (usually a few weeks), the authors will be notified by the programme committee. Abstracts will be dealt with on a first come/first served basis. Submit as soon as possible. DEADLINE 15 May 2007 INVITED SPEAKERS Andrej Bauer, Ljubljana Ulrich Berger, Swansea Thierry Coquand, G=F6teborg Martin Escardo, Birmingham Sergei Godunov, Novosibirsk Peter Hertling, Munich Alex Simpson, Edinburgh Atsushi Yoshikawa, Kyushu University PROCEEDINGS Conference Proceedings will be published as a special issue of 'Annals in Pure and Applied Logic'. Submission for the Proceddings will be after the Workshop. They will be refereed according to the usual standards of the Journal. ACCOMODATION All participants will be accommodated in the Hotel ``Zolotaya Dolina'' (Gold Valley) situated at walking distance from the Instituts of Mathematics. FEES There will be a registration fee of 85 Euros for covering expenses. For participants from Eastern Europa and the former =20 Soviet Union we set the fee 300 Russian Roubles. PhD students do not pay a fee. If the fee is a problem, please contact the organizers for a possible arrangement in advance. VISAS AND REGISTRATION Most foreign participants will need a visa to enter Russia. For obtaining a visa, one needs an official invitation issued by the local authorities at Novosibirsk. For this, you should fill in the registration. form available at the conference web page www.sbras.ru/ws/domains/index.en.html and you will have to provide to the local organizers the informations enumerated on the web page =20 www.sbras.ru/ws/domains/visa.html =20 The processing of invitations takes about one month; in addition, please allow some time for sending it by mail! =20 DEADLINE for registration: 30 June, 2007 WEATHER The weather in Novosibirsk in the middle of September is usually warm and= =20 sunny, with temperatures around +15 C. PROGRAMME COMMITTEE Yuri Ershov Sobolev Institute of Mathematics, Novosibirsk Sergei Goncharov Sobolev Institute of Mathematics, Novosibirsk Achim Jung University of Birmingham, Birmingham Klaus Keimel (Chair) Darmstadt Technical University, Darmstadt Ulrich Kohlenbach Darmstadt Technical University, Darmstadt Andrei Morozov (Co-Chair) Sobolev Institute of Mathematics, Novosibirsk Victor Selivanov Novosibirsk State Pedagogical University, Novosibir= sk Dieter Spreen University of Siegen, Siegen WORKSHOP SECRETARY Alexei Stukachev (domains@math.nsc.ru) From rrosebru@mta.ca Fri Apr 20 14:39:44 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 20 Apr 2007 14:39:44 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HewwA-0003qd-IT for categories-list@mta.ca; Fri, 20 Apr 2007 14:30:22 -0300 Date: Fri, 20 Apr 2007 12:23:10 +0200 From: goedel-fellowship MIME-Version: 1.0 To: undisclosed-recipients:; Subject: categories: Submissions - Kurt Goedel Centenary Research Prize Fellowships Content-Type: text/plain; Content-Disposition: inline; Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 18 KURT G=D6DEL CENTENARY RESEARCH PRIZE FELLOWSHIPS The Kurt G=F6del Society is proud to announce the commencement of the res= earch fellowship prize program in honor of the celebration of Kurt G=F6de= l=92s 100th birthday. The research fellowship prize program is sponsored by the John Templeton = Foundation and will offer: =95 two Ph.D. (pre-doctoral) fellowships of $60,000* US per annum for two= years =95 two post-doctoral fellowships of $ 80,000* US per annum for two years and =95 one senior fellowship of $ 120,000* US per annum for one year=20 based on an international open competition, resulting in the publication = of research papers=20 in a special issue of the Annals of Pure and Applied Logic.** The following International Board of Jurors will be in charge of evaluati= ng the applications: Peter ACZEL, University of Manchester (GB) Lev BEKLEMISHEV, Russian Academy of Sciences (RUS) John BURGESS, Princeton University (USA)=20 Harvey FRIEDMAN, Ohio State University (USA) CHAIR John HARRISON, Intel Corporation (USA)=20 Wilfrid HODGES, Queen Mary University of London (GB) Simon KOCHEN, Princeton University (USA) Jan KRAJICEK, Academy of Sciences of the Czech Republic(CZ) Menachem MAGIDOR, Hebrew University (ISRAEL) David MARKER, University of Illinois at Chicago (USA) Michel PARIGOT, Universite Paris 7 (FRANCE)=20 Pavel PUDLAK, Academy of Sciences of the Czech Republic(CZ)=20 Hilary PUTNAM, Harvard University (USA) Jeff REMMEL,University of California at San Diego (USA)=20 John STEEL, University of California at Berkeley (USA)=20 Frank STEPHAN, National University of Singapore (SINGAPORE) Albert VISSER, University of Utrecht (NL) Submission Software is online at:http://www.easychair.org/GoedelFellow200= 7/ Submission instructions can be found here: http://kgs.logic.at/goedel-fel= lowship/index.php?instructions Timeline June 30, 2007. Submissions deadline October 2007. Jury decision on the papers for publication (at most = 20) December 15, 2007. Final versions due January 2008. Jury decision on winners due February 2008. Award Ceremony Mar.-Sept.2008. Commencement of the Fellowships Web:http://kgs.logic.at/goedel-fellowship E-mail contact: goedel-fellowship@logic.at * The currency conversion rate used for the Fellowships is fixed at 0.81 = EUR / 1USD! At current market rates, the Fellowship amounts to be awarded are about 10% higher in USD (April 2= 0, 2007). ** For the purpose of the Fellowships' Program, the APAL will publish all= articles chosen by the jury, which belong to any of the categories specified in th= e Scopes of the Fellowships. From rrosebru@mta.ca Fri Apr 20 14:39:44 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 20 Apr 2007 14:39:44 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hewun-0003j5-Uj for categories-list@mta.ca; Fri, 20 Apr 2007 14:28:58 -0300 Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: categories List From: David Roberts Subject: categories: enriched in double categories Date: Fri, 20 Apr 2007 17:03:02 +0930 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 19 Dear all, The category of double categories DCat is monoidal, as shown by Bastiani-Ehresmann (cahiers vol 15 no. 3). Has work has been done on DCat-categories? For example, if we have two distinct notions of 2-arrow between 1- arrows, what 1-arrows can we call equivalent? Yours, ------------------------------------------------------------------------ -- David Roberts School of Mathematical Sciences University of Adelaide SA 5005 ------------------------------------------------------------------------ -- droberts@maths.adelaide.edu.au www.maths.adelaide.edu.au/~droberts www.trf.org.au From rrosebru@mta.ca Mon Apr 23 21:49:38 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 23 Apr 2007 21:49:38 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hg97L-0003bi-5V for categories-list@mta.ca; Mon, 23 Apr 2007 21:42:51 -0300 Date: Mon, 23 Apr 2007 14:35:42 +0100 From: Maria Manuel Clementino MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Postdoctoral Research Positions 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: 20 POSTDOCTORAL RESEARCH POSITIONS The Centre for Mathematics of the University of Coimbra (CMUC) invites applications for one-year postdoctoral research positions, beginning September 2007. Information available at http://www.mat.uc.pt/~cmuc/postdoc-07-08.pdf From rrosebru@mta.ca Mon Apr 23 21:49:38 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 23 Apr 2007 21:49:38 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hg982-0003eY-FB for categories-list@mta.ca; Mon, 23 Apr 2007 21:43:34 -0300 Date: Mon, 23 Apr 2007 17:01:31 -0400 (EDT) From: Michael Makkai To: Categories List Subject: categories: Announcement of paper MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 21 The paper "Computads and 2 dimensional pasting diagrams" has been posted on my website http://www.math.mcgill.ca/makkai/. The paper is in several pdf files. With greetings: Michael Makkai From rrosebru@mta.ca Tue Apr 24 08:31:25 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 24 Apr 2007 08:31:25 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HgJ6h-00041w-KA for categories-list@mta.ca; Tue, 24 Apr 2007 08:22:51 -0300 Date: Tue, 24 Apr 2007 08:06:30 +0100 To: categories@mta.ca From: Category Theory 2007 Subject: categories: CT2007: Abstract deadline reminder Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 22 ==================== CT2007 ==================== International Category Theory Conference Hotel Tivoli Almansor Carvoeiro, Portugal June 17-23, 2007 Deadline for abstract submission: ********* May 1, 2007 ********** LaTeX code for the preparation of abstracts: http://www.mat.uc.pt/~categ/ct2007/abstracts.html For more information, please consult the web site http://www.mat.uc.pt/~categ/ct2007 The Organizing Committee. From rrosebru@mta.ca Fri Apr 27 09:19:41 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 27 Apr 2007 09:19:41 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HhPFn-0004xJ-S3 for categories-list@mta.ca; Fri, 27 Apr 2007 09:08:47 -0300 Date: Thu, 26 Apr 2007 12:19:46 -0400 (EDT) From: Michael Makkai To: Categories List Subject: categories: corrected files for paper announced recently MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 23 The other day, I announced my paper "Computads and 2 dimensional pasting diagrams" ( http://www.math.mcgill.ca/makkai/). Today, I replaced most of the files with corrected ones. With greetings: Michael Makkai From rrosebru@mta.ca Sat Apr 28 22:49:25 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 28 Apr 2007 22:49:25 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HhyPJ-0000Cg-TR for categories-list@mta.ca; Sat, 28 Apr 2007 22:40:57 -0300 Date: Sat, 28 Apr 2007 22:27:58 +0200 From: Bas Spitters MIME-Version: 1.0 To: cat-dist@mta.ca Subject: categories: C*-algebras Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 24 It seems hard to find references to a categorical treatment of C*-algebras. Concretely, there are several tensor products on C*-algebras. Which one is `the right one' from a categorical perspective? Thanks, Bas Spitters From rrosebru@mta.ca Sun Apr 29 22:19:54 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 29 Apr 2007 22:19:54 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HiKRq-0005zx-L4 for categories-list@mta.ca; Sun, 29 Apr 2007 22:13:02 -0300 Date: Sat, 28 Apr 2007 22:26:00 -0500 From: "Yemon Choi" To: cat-dist@mta.ca Subject: categories: Re: C*-algebras 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: 25 I'm not an expert but I don't think there is a `right one', it depends on what you want to do with your C*-algebras. The maximal C*-norm has better universal properties than the minimal one (it seems) but the resulting C*-algebra is then somewhat hard to get at. Actually, I'm not sure what significance the tensor product of _algebras_ (as opposed to _modules_) has. Of course for commutative unital algebras this is the coproduct, but commutative C*-algebras have unique C*-tensor norms anyway. On 28/04/07, Bas Spitters wrote: > It seems hard to find references to a categorical treatment of > C*-algebras. Concretely, there are several tensor products on > C*-algebras. Which one is `the right one' from a categorical perspective? > > Thanks, > > Bas Spitters > > -- Dr. Y. Choi 519 Machray Hall Department of Mathematics University of Manitoba Winnipeg. Manitoba Canada R3T 2N2 From rrosebru@mta.ca Sun Apr 29 22:19:54 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 29 Apr 2007 22:19:54 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HiKTc-00065G-E8 for categories-list@mta.ca; Sun, 29 Apr 2007 22:14:52 -0300 Date: Sat, 28 Apr 2007 23:30:06 -0500 (CDT) From: Gabor Lukacs To: categories@mta.ca Subject: categories: Re: C*-algebras MIME-Version: 1.0 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: 26 Dear Bas, > It seems hard to find references to a categorical treatment of > C*-algebras. I am surprised to hear that. Here are a few, which I am almost sure that=20 you are already familiar with: D. H. Van Osdol. C*-algebras and cohomology. In Categorical topology (Toledo, Ohio, 1983), volume 5 of Sigma Ser. Pure Math., pages 582-587. Heldermann, Berlin, 1984. J. Wick Pelletier and J. Rosick=B4y. On the equational theory of=20 C*-algebras. Algebra Universalis, 30(2):275-284, 1993. Joan Wick Pelletier and Ji.r=B4. Rosick=B4y. Generating the equational th= eory=20 of C*-algebras and related categories. In Categorical topology and its=20 relation to analysis, algebra and combinatorics (Prague, 1988), pages=20 163-180. World Sci. Publishing, Teaneck, NJ, 1989. Edward G. Effros and Zhong-Jin Ruan. Operator spaces, volume 23 of London Mathematical Society Monographs. New Series. The Clarendon Press Oxford University Press, New York, 2000. [This last one is not categorical, but it contains some results concernin= g=20 the tensor products that can easily be interpreted categorically.] You my find a brief summary of the categorically interesting points in=20 Chapter 8 of my PhD thesis: http://at.yorku.ca/p/a/a/o/41.pdf > Concretely, there are several tensor products on C*-algebras. Which one= =20 > is `the right one' from a categorical perspective? This is an interesting question, but I suspect that you may find a clue t= o=20 answer this question here: Theodore W. Palmer. Banach algebras and the general theory of *-algebras.= =20 Vol. 2, volume 79 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2001. I hope that my answers are of some help to you. Best wishes, Gabi From rrosebru@mta.ca Tue May 1 08:36:46 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 01 May 2007 08:36:46 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HiqUm-0000kU-Sb for categories-list@mta.ca; Tue, 01 May 2007 08:26:12 -0300 Date: Mon, 30 Apr 2007 13:54:25 -0700 From: John Baez To: categories Subject: categories: Re: C*-algebras Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4.2.1i Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 27 Bas Spitters wrote: >It seems hard to find references to a categorical treatment of >C*-algebras. Concretely, there are several tensor products on >C*-algebras. The two I know are the "projective" and "injective" tensor products. > Which one is 'the right one' from a categorical perspective? I think the projective (or "maximum possible norm") tensor product of unital C*-algebras has the following universal property: There are homomorphisms from A and B into the projective tensor product A tensor B, and given homomorphisms f: A -> X, g: B -> X whose ranges commute, there exists a unique homomorphism f tensor g: A tensor B -> X such that the two obvious triangles commute, namely one like this: A ------> A tensor B \ | \ | \ | f\ |f tensor g \ | \ | v v X and a similar one for B. Here I'm using the unital nature of the C*-algebras in question to get the homomorphisms from A and B into A tensor B; you have to do something different for nonunital C*-algebras. Best, jb