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