Barrfest proceedings

Barrfest proceedings

[R.A.G. Seely]

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

-----------------------
<rags@math.mcgill.ca>
<http://www.math.mcgill.ca/~rags>