From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/773 Path: news.gmane.org!not-for-mail From: "R.A.G. Seely" Newsgroups: gmane.science.mathematics.categories Subject: Barrfest proceedings Date: Thu, 2 Jul 1998 14:42:02 -0400 (EDT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017172 27319 80.91.229.2 (29 Apr 2009 14:59:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:59:32 +0000 (UTC) To: Categories List Original-X-From: cat-dist Thu Jul 2 21:13:08 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id UAA19287 for categories-list; Thu, 2 Jul 1998 20:22:15 -0300 (ADT) X-Authentication-Warning: triples.math.mcgill.ca: rags owned process doing -bs Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 53 Xref: news.gmane.org gmane.science.mathematics.categories:773 Archived-At: I have just (and finally!) sent off to Elsevier the package of papers to appear in the special issue of JPAA in honour of Mike Barr's 60th birthday. Readers of this list may be interested in the final "table of contents" - note that this volume still has to go through Elsevier's editorial process, so it may be a little while yet before we see the finished product on the shelf. - Robert Seely ----------------------------------------------------------------------- BarrFest Contents The Barrfest: A special issue of JPAA in honour of Mike Barr's 60th birthday The following papers will appear in the Barrfest issue of the Journal of Pure and Applied Algebra * Abramsky, Blute, & Panangaden: Nuclear and traced ideals in tensored *-categories * Banaschewski: A uniform view of localic realcompactness * Bunge & Funk: On a bicomma object condition for KZ-doctrines * Cegarra & Fernandez: Cohomology of cofibred categorical groups * Cockett & Seely: Linearly distributive functors * Gerstenhaber: Developments from Barr's thesis * Gran: Internal categories in Mal'cev categories * Janelidze & Tholen: Extended Galois theory and dissonant morphisms * Kennison: Synthetic solution manifolds for differential equations * Kinoshita, Power & Takeyama: Sketches * Lambek: Diagram chasing in ordered categories with involution * Mac Lane: The origins of mathematical abstraction * Mauri & Tierney: 2-descent, 2-torsors, and local equivalence * Moerdijk & Vermeulen: Proof of a conjecture of A. Pitts * Pedicchio & Wood: Groupoidal completely distributive lattices * Piessens & Steegmans: A decision procedure for semantical equivalence of thin FM specification * Shnider & van Osdol: Operads as abstract algebras, and the Koszul property * Sun: Remarks on Tannaka recovery of coalgebras >>From the Introduction: "Mike's broad influence is reflected in this volume by the great breadth of materials which Mike inspired his friends to produce in his honour." The Editors: F.W. Lawvere, R.A.G. Seely -----------------------