Some titles of threads differ from the posters' Subject headings, and may summarize threads which developed under several headings. Month is first/last mail in the thread; the number mails in the thread is indicated.

1994
[Jun 94-Mar 98 (13)] About XY-Pic (Info on New Releases etc.)
[Jun 94-Jun 94 ( 1)] McCarty's Realisability and the Effective Topos

[Jul 94-Oct 94 ( 2)] Characterisation of Geometric Morphisms -- Questions on _Geom_
[Jul 94-Jul 94 ( 2)] Completeness Simply Typed Lambda Calculus
[Jul 94-Jul 94 ( 1)] E-M Factorisation Systems

[Aug 94-Aug 94 ( 3)] Distributivity
[Aug 94-Aug 94 ( 1)] Duality in 2-Categories
[Aug 94-Aug 94 ( 1)] Partial Topos
[Aug 94-Sep 94 ( 2)] Top-op is a Quasi-Variety

[Sep 94-Sep 94 ( 1)]
Hyperidentities and Lambda Calculus
[Sep 94-Sep 94 ( 1)] World Wide Web for Category Theory List

[Oct 94-Oct 94 ( 4)] Coherence and T_0 imply sobriety?
[Oct 94-Oct 94 ( 2)] Coherent Locales
[Oct 94-Oct 94 ( 2)] Colimits of Hilbert spaces
[Oct 94-Oct 94 ( 3)] Literature for Graphical Algebras?
[Oct 94-Oct 94 ( 1)] Quantales
[Oct 94-Nov 94 ( 6)] Substructures of Free Structures

[Nov 94-Nov 94 ( 2)] Colimits in Categories of Diagrams
[Nov 94-Nov 94 ( 3)] Fibrations <--> Adjunctions?
[Nov 94-Dec 94 ( 4)] Grothendieck Universes - Origin Name?
[Nov 94-Nov 94 ( 3)] Papers on Internal Categories?

[Dec 94-Jan 97 ( 3)] Anafunctors
[Dec 94-Jan 95 ( 2)] Complete Heyting Algebras
[Dec 94-Jan 95 ( 4)] Enriched Functors


1995


[Jan 95-Jan 95 ( 6)] Algebraically Compact Categories
[Jan 95-Apr 95 ( 2)] Electronic Journal (Theory and Applications of Categories)
[Jan 95-Aug 99 (10)] Triples WWW Pages - Information
[Jan 95-Jan 95 ( 2)] Union Associative?

[Feb 95-Feb 95 ( 7)] Algebraic Structures for Eilenberg-Moore Algebras
[Feb 95-Feb 95 ( 1)] FinLim et FinProd?
[Feb 95-Feb 95 ( 1)] Kleisli Category for Multiple Monads
[Feb 95-Feb 95 ( 1)] Pareigis - Odd Numbered Pages?

[Mar 95-Mar 95 ( 1)] Bimodules seen as Generalized Machines
[Mar 95-Mar 95 ( 5)] Composition as a Relation?
[Mar 95-Mar 95 ( 1)] CW Complexes: Homology <-> Homotopy
[Mar 95-Mar 95 ( 1)] Extensions of Abelian Categories
[Mar 95-Mar 95 ( 1)] Fukaya ("floer homology")
[Mar 95-Mar 95 ( 1)] Realisation of Simplicial Groups
[Mar 95-Mar 95 ( 1)] Reversing the Grothendieck Ring Construction?
[Mar 95-Mar 95 ( 7)] Simplicial Questions

[Apr 95-Apr 95 ( 1)] Does Set exist outside Set?

[May 95-Jun 95 ( 5)] Bounded Topos
[May 95-May 95 ( 4)] Effective Topos
[May 95-Jun 95 ( 6)] Epis
[May 95-May 95 ( 5)] Locally Small Cocomplete Elementary Toposes?
[May 95-May 95 ( 1)] MathSci

[Jun 95-Jun 95 ( 1)] Garbled Paper Barr in MSCS

[Jul 95-Jul 95 ( 1)] Generalised Spaces
[Jul 95-Jul 95 ( 1)] Conceptual Completeness

[Aug 95-Aug 95 ( 2)] Separate Continuity

[Sep 95-Sep 95 ( 1)] About kuvio.tex (diagrams for dvips users)
[Sep 95-Oct 95 ( 6)] Braided Monoidal Categories
[Sep 95-Sep 95 ( 1)] Limits of Finite Monoids
[Sep 95-Sep 95 ( 3)] Pseudonatural Transformations

[Oct 95-Oct 95 ( 1)] Bi-categories and 2-categories
[Oct 95-Oct 95 ( 6)] Complete Lattices - a Question
[Oct 95-Oct 95 ( 1)] Full Internal Functor
[Oct 95-Oct 95 ( 1)] Iossif and Suzuki: Concept of Computable Varieties
[Oct 95-Oct 95 ( 2)] Local Right Adjoints Imply Global Ones?

[Nov 95-Nov 95 ( 1)] Adjunction Question
[Nov 95-Nov 95 ( 3)] Local Set Theory

[Dec 95-Dec 95 ( 3)] Associativity and Commutativity of Addition
[Dec 95-Dec 95 ( 2)] Categories of ((Co-)Cones on) Diagrams
[Dec 95-Dec 95 ( 4)] Dinatural Exercise
[Dec 95-Dec 95 ( 1)] Discrete Opfibrations of Graphs
[Dec 95-Dec 95 ( 1)] MSc Course at Queen Mary and Westfield College, University of London


1996


[Jan 96-Jan 96 ( 1)] Bangor WWW pages
[Jan 96-Jan 96 ( 6)] Bimodules in a Biclosed Category
[Jan 96-Jan 96 ( 1)] Cauchy-completion of Bicategory?
[Jan 96-Jan 96 ( 1)] Electronic Journal - TAC, Vol. 1 (abstracts)
[Jan 96-Jan 96 ( 1)] Factorisation of Generalised Geometric Morphisms

[Feb 96-Feb 96 ( 1)] H-Day
[Feb 96-Feb 96 ( 1)] Vanishing of Derived Functors of Inverse Limit

[Mar 96-Mar 96 ( 1)] Category Theoretic Reflection Principles
[Mar 96-Mar 96 (10)] Choice, Inclusions, Nonstandard Analysis
[Mar 96-Mar 96 ( 1)] Cohen and the Continuum
[Mar 96-Mar 96 ( 1)] Computational Category Theory Tools
[Mar 96-Mar 96 ( 9)] Defining Sets from Abelian Groups
[Mar 96-Mar 96 ( 1)] Johnstone Quote
[Mar 96-Mar 96 ( 2)] Mechanization of Category Theory
[Mar 96-Mar 96 ( 3)] Orthogonality and Topos Question
[Mar 96-Mar 96 (45)] Set Membership <-> Function Composition
[Mar 96-Apr 96 ( 4)] Toposes vs Sets

[Apr 96-Apr 96 ( 1)] AMS Special Session
[Apr 96-May 96 (12)] Denumerability Question
[Apr 96-Apr 96 ( 4)] Graduate Algebra Text
[Apr 96-Apr 96 ( 1)] Help Request (CPOs, Effective Sets)
[Apr 96-Apr 96 ( 3)] Piaget
[Apr 96-Apr 96 ( 1)] Quasigroups
[Apr 96-Sep 98 ( 7)] Symmetric Monoidal Closed Categories
[Apr 96-Apr 96 ( 1)] Yoneda Passed Away

[May 96-May 96 ( 3)] *-Autonomous Categories
[May 96-May 96 ( 1)] Coherent Toposes
[May 96-May 96 ( 1)] Hypatia Electronic Library
[May 96-May 96 ( 1)] Master Class in Utrecht
[May 96-May 96 ( 1)] Reorganization of Stanford Papers Web Page

[Jun 96-Jul 96 ( 2)] E-address needed for Vera Trnkova
[Jun 96-Jun 96 ( 1)] Isbell Interview
[Jun 96-Jul 96 ( 4)] Monoidal Adjunction
[Jun 96-Jun 96 ( 1)] Topos-theoretic Classification of Lie Groups
[Jun 96-Jun 96 ( 2)] Gilberte Vandenbossche

[Jul 96-Jul 96 ( 1)] Goguen - Address Change
[Jul 96-Jul 96 ( 2)] Grothendieck Mauscripts
[Jul 96-Jul 96 ( 1)] Lifting of SM(C)-Structure
[Jul 96-Jul 96 ( 1)] Websites, ftp, and Copyright

[Aug 96-Aug 96 ( 3)] Analytic Functors
[Aug 96-Sep 96 (27)] Extensive Categories
[Aug 96-Aug 96 ( 7)] Proposal on Publishing by Michael Barr
[Aug 96-Aug 96 ( 1)] Sheaves?
[Aug 96-Aug 96 ( 1)] Submit Exceptional Papers to JACM
[Aug 96-Oct 97 ( 4)] Weak n-Categories

[Sep 96-Sep 96 ( 1)] Conference Picture Descent Theory Meeting Oberwolfach 1995
[Sep 96-Sep 96 ( 5)] Co-well-poweredness of Varieties of Algebras
[Sep 96-Sep 96 ( 5)] Free Complete Heyting Algebras
[Sep 96-Sep 96 ( 3)] Irreducibility
[Sep 96-Sep 96 ( 1)] Physical Braids

[Oct 96-Oct 96 ( 1)] Algebraic Semantics of Imperative Programs
[Oct 96-Oct 96 ( 3)] *-Autonomous 2-Categories
[Oct 96-Oct 96 (10)] 2-Categories without the Interchange Law
[Oct 96-Oct 96 ( 1)] Conference Refereeing (correspondence Barr-Kelly)
[Oct 96-Apr 98 ( 4)] Kelly - Address Change
[Oct 96-Oct 96 ( 5)] Local Smallness in Gabriel-Zisman
[Oct 96-Oct 96 ( 1)] Monads and Generic Subobjects
[Oct 96-Oct 96 ( 1)] Symbolic Sculptures and Mathematics

[Nov 96-Nov 96 ( 1)] Australian Category Seminar announcements and Web pages
[Nov 96-Nov 96 ( 2)] Categories for Higher-Order Functions
[Nov 96-Nov 96 ( 2)] Separated Objects
[Nov 96-Nov 96 ( 1)] Wadler - Address Change
[Nov 96-Nov 96 ( 2)] What Kind of Functor?

[Dec 96-Dec 96 ( 3)] Cartesian Closed Arrow Categories
[Dec 96-Mar 99 ( 5)] Practical Foundations of Mathematics (Monograph Paul Taylor)
[Dec 96-Apr 97 ( 2)] Theoretical Computer Science (special issue)
[Dec 96-Dec 96 ( 1)] Varieties


1997


[Jan 97-Jan 97 (13)] Finiteness in Toposes
[Jan 97-Jan 97 ( 2)] Lax Indexed Functors
[Jan 97-Jan 97 ( 1)] Marmolejo - Address Change
[Jan 97-Jan 97 ( 1)] Package for Crossed Modules
[Jan 97-Jan 97 ( 1)] Query on W.E.'s

[Feb 97-Feb 97 ( 8)] Category Theory and Databases
[Feb 97-Feb 97 ( 2)] Functors Adjoint to Their Dual
[Feb 97-Feb 97 ( 1)] Lawvere Homepage
[Feb 97-Feb 97 ( 2)] Query on Strange Groups

[Mar 97-Mar 97 ( 1)] 2-Tangles
[Mar 97-Mar 97 ( 3)] Characterisation of Factorisation Systems
[Mar 97-Mar 97 ( 1)] Damphousse - Address Change
[Mar 97-Mar 97 ( 2)] Good News: Readership Peter Johnstone
[Mar 97-Mar 97 (15)] Intuitionism's Limits
[Mar 97-Mar 97 ( 1)] JFP Editorial April 1997
[Mar 97-Mar 97 ( 3)] Morphisms of Diagrams
[Mar 97-Mar 97 ( 1)] Semantics and Logics of Computation (editors Pitts and Dybjer)

[Apr 97-May 97 ( 2)] Australasian Issue of Theoretical Computer Science
[Apr 97-Apr 97 ( 1)] Higher Dimensional Group Theory

[May 97-May 97 ( 1)] Duskin - Address Change
[May 97-May 97 ( 2)] Equilogical Spaces
[May 97-May 97 ( 3)] Injectivity
[May 97-Feb 99 ( 2)] Isbell - Address Change
[May 97-May 97 ( 1)] Scott is Phoa, locally

[Jun 97-Jun 97 ( 2)] Algebraic Logic via Arrows
[Jun 97-Jul 97 ( 5)] Comma Categories and Artificial Perception
[Jun 97-Jul 97 ( 6)] Functions from Omega to Omega
[Jun 97-Jun 97 ( 2)] Pushouts in Toposes

[Jul 97-Jul 97 ( 4)] Actions of Groups on Categories
[Jul 97-Jul 97 ( 1)] Microsoft Talk Mentioning Category Theory
[Jul 97-Jul 97 ( 1)] q-alg (List on Quantum Algebra)
[Jul 97-Jul 97 ( 1)] Signed Associahedra

[Aug 97-Aug 97 ( 9)] Applications for Category Theory
[Aug 97-Aug 97 ( 5)] Is Cut Semantical?
[Aug 97-Aug 97 ( 1)] Limits in n-Categories
[Aug 97-Aug 97 ( 1)] Otto - Address Change
[Aug 97-Aug 97 ( 2)] Reviews of Books on Category Theory in Computer Science

[Sep 97-Sep 97 ( 1)] Article by Lakoff and Nunez
[Sep 97-Sep 97 ( 1)] Categories for Concurrency
[Sep 97-Sep 97 ( 2)] Preprint Archive on Scholarly Communications
[Sep 97-Sep 97 ( 1)] Topology Atlas

[Oct 97-Nov 98 (11)] Abstract Algebraic Geometry
[Oct 97-Nov 97 (12)] Abelian-Topos Categories
[Oct 97-Oct 97 ( 1)] Path Algebras
[Oct 97-Oct 97 ( 2)] Query on Coordinate Systems in Programming Languages
[Oct 97-Oct 97 ( 2)] Query on Set Theory and category theory

[Nov 97-Nov 97 ( 2)] Adjoining Indeterminates to Cartesian Categories
[Nov 97-Dec 97 ( 5)] Algebraic Theories and Operads
[Nov 97-Nov 97 ( 1)] Automated Software Engineering -- Panel Session Report Goguen
[Nov 97-Oct 98 ( 2)] Cocompletion of Categories
[Nov 97-Nov 97 ( 1)] Elementary Toposes
[Nov 97-Nov 97 ( 1)] Gentzen and Hilbert Formulations of Linear Logic
[Nov 97-Nov 97 ( 2)] Local Maps of Toposes are Always UIAO
[Nov 97-Nov 97 ( 2)] Pratt Slices
[Nov 97-Nov 97 ( 2)] Weakened Operads

[Dec 97-Dec 97 ( 1)] Congratulations: Tenure Rick Blute
[Dec 97-Dec 97 ( 8)] E-Print Archive in Category Theory
[Dec 97-Dec 97 ( 1)] Free-Forgetful Adjunction for Vect
[Dec 97-Dec 97 ( 2)] Injectives and Choice
[Dec 97-Dec 97 ( 5)] Non-Abelian Categories
[Dec 97-Dec 97 ( 1)] Sheaves and Logic


1998


[Jan 98-Jan 98 ( 2)] Adjunctions and Languages
[Jan 98-Feb 98 (16)] Challenge from Harvey Friedman
[Jan 98-Jan 98 ( 7)] Combining Monads
[Jan 98-Oct 98 ( 9)] Eilenberg Passed Away
[Jan 98-Jan 98 ( 1)] Electronic Journal - TAC, Vol. 3 (abstracts)
[Jan 98-Jan 98 ( 4)] Functor Algebras
[Jan 98-Jan 98 ( 4)] Ice Storm at McGill
[Jan 98-Jan 98 ( 1)] Journals Boycott
[Jan 98-Jan 98 ( 1)] Kan Extensions: Terminology?
[Jan 98-Jan 98 ( 1)] Perfect Double Negation

[Feb 98-Feb 98 ( 7)] Categorical Models for "While" and Floyd-Hoare Logic
[Feb 98-Feb 98 ( 1)] Decompositions of Topoi
[Feb 98-Feb 98 ( 1)] Formal Languages Fibrationally
[Feb 98-Feb 98 ( 2)] Prime Objects and are they Generators?
[Feb 98-Mar 98 ( 5)] Quantifiers for Monoids
[Feb 98-Feb 98 ( 1)] Specification vs Execution

[Mar 98-Apr 98 ( 9)] Naturality Squares and Pullbacks
[Mar 98-Mar 98 ( 1)] Teaching Category Theory
[Mar 98-Mar 98 ( 2)] Tensor Products of Cocomplete Categories

[Apr 98-Apr 98 ( 1)] Signal Processing and Category Theory

[May 98-May 98 ( 1)] Evolutive Systems with Memory
[May 98-May 98 ( 1)] Fibrational Theory of Geometric Morphisms
[May 98-Nov 98 ( 6)] FISh Language
[May 98-May 98 ( 5)] General Abstract Nonsense
[May 98-May 98 ( 2)] Multicategories
[May 98-May 98 ( 2)] Omega Categories
[May 98-May 98 ( 1)] Philosophical Roots of Category Theory?
[May 98-May 98 ( 6)] Regular Embedding

[Jun 98-Jun 98 ( 1)] Bunge's Summer 1998 Address
[Jun 98-Jun 98 ( 3)] Chu(Ab,circle) is Abelian
[Jun 98-Jun 98 ( 1)] Cofinite Sieves
[Jun 98-Jun 98 ( 1)] Kieboom - E-Mail Address Change
[Jun 98-Jun 98 ( 1)] Projective Diagrams
[Jun 98-Jun 98 ( 3)] Units in Lax and Oplax Monoidal Functors

[Jul 98-Jul 98 ( 5)] Algebraic Topology - Barr's Questions
[Jul 98-Sep 98 (32)] Co- Prefix
[Jul 98-Jul 98 (10)] Upper Case and Lower Case
[Jul 98-Aug 98 ( 7)] XXX Preprint Archive


[Sep 98-Sep 98 ( 1)] Cryptography
[Sep 98-Sep 98 ( 1)] Cubical Nerve?
[Sep 98-Sep 98 ( 3)] Shelah's Classification Theory

[Oct 98-Oct 98 ( 1)] Center of a Category
[Oct 98-Oct 98 ( 6)] Cogenerator in Omega-Cat?
[Oct 98-Oct 98 ( 5)] Comma Categories in Enriched Contexts?
[Oct 98-Nov 98 ( 6)] Finite Products are Finite Sums iff Hom Functor factors through Commutative Monoids
[Oct 98-Oct 98 ( 1)] Johnstone - Address Change
[Oct 98-Oct 98 ( 2)] Natural Numbers Objects and Free Algebras
[Oct 98-Oct 98 ( 1)] Paracategories?
[Oct 98-Oct 98 ( 4)] Probability Theory and Category Theory
[Oct 98-Oct 98 ( 4)] Twisted Arrow Categories
[Oct 98-Oct 98 ( 1)] Unicode for Math Symbols

[Nov 98-Nov 98 ( 1)] Category Theory for Computer Science Class
[Nov 98-Dec 98 ( 6)] Commutative Monoids
[Nov 98-Nov 98 ( 3)] Composable Pasting Schemes
[Nov 98-Nov 98 ( 2)] Continuity in Categories
[Nov 98-Nov 98 ( 1)] Dimension of Morphisms in Omega-Categories
[Nov 98-Nov 98 ( 5)] Gödel and Category Theory
[Nov 98-Nov 98 (11)] Higher Category Theory and Homotopy Theory
[Nov 98-Nov 98 ( 1)] Michael Barr named Peter Redpath Professor
[Nov 98-Nov 98 ( 1)] Usefulness of Particular Topos
[Nov 98-Nov 98 ( 1)] Yoneda Lemma Query

[Dec 98-Dec 98 ( 2)] Inferring Colimits


1999



[Jan 99-Jan 99 ( 3)] Abstract Stone Duality
[Jan 99-Feb 99 ( 7)] Bi-categories - Reading Advice and Coherence Questions
[Jan 99-Jan 99 ( 4)] Dualizing Object
[Jan 99-Jan 99 ( 1)] Electronic Journal - TAC, Vol. 4 (abstracts)
[Jan 99-Jan 99 ( 1)] Manhattan Street Problem
[Jan 99-Jan 99 ( 1)] Maude 1.00 Release
[Jan 99-Jan 99 ( 1)] Monoidal Categories - References for Constructions
[Jan 99-Jan 99 ( 3)] Myles Tierney Jr. RIP
[Jan 99-Jan 99 ( 1)] Pedicchio - Address Change
[Jan 99-Jan 99 ( 3)] Pullback Preserving Functor
[Jan 99-Feb 99 ( 2)] SGM v1.1, v1.2 Released
[Jan 99-Jan 99 ( 3)] Strictification
[Jan 99-Feb 99 ( 6)] Universal Quantification

[Feb 99-Feb 99 ( 1)] Buffalo E-Mail Down
[Feb 99-Feb 99 ( 1)] Categorical Logic and Type Theory
[Feb 99-Feb 99 ( 1)] Industrial Application of Category Theory
[Feb 99-Feb 99 ( 1)] Journal of Automated Reasoning - Special Issue Satisfiability
[Feb 99-Feb 99 ( 1)] Lax-Natural Transformations
[Feb 99-Feb 99 ( 1)] Street - Address Change
[Feb 99-Feb 99 ( 1)] Vaughan Pratt - in Real Life

[Mar 99-Mar 99 ( 4)] Geometric Formulae and Axioms
[Mar 99-Mar 99 ( 2)] Lax Monads and Algebras
[Mar 99-Mar 99 ( 1)] List Outage
[Mar 99-Mar 99 (10)] Monoidal Structure on Graphs
[Mar 99-Mar 99 ( 7)] Polymorphic Lambda-Calculus

[Apr 99-Apr 99 ( 1)] Barr - Address Change
[Apr 99-Apr 99 ( 2)] Small Universes
[Apr 99-Apr 99 ( 8)] Zermelo-Fraenkel Set Theory Inconsistent?

[May 99-May 99 ( 1)] Bunge's Summer 1999 Address
[May 99-Oct 99 ( 5)] Isbell - Illness
[May 99-May 99 ( 1)] Kleisli Bi-Categories
[May 99-May 99 ( 2)] Recursive Types in Polymorphic Lambda Calculus
[May 99-May 99 ( 2)] Weak Omega Category

[Jun 99-Jun 99 ( 1)] CTCS in 1993?
[Jun 99-Jun 99 ( 1)] Dinaturality in the CCC Poset
[Jun 99-Nov 99 ( 2)] FTP Directory Michael Barr
[Jun 99-Jun 99 ( 1)] Subobject Classifiers
[Jun 99-Jun 99 ( 1)] Universes within ZFC
[Jun 99-Jun 99 ( 1)] Wells - E-Mail Address

[Jul 99-Jul 99 ( 1)] *-Autonomous Non-Category
[Jul 99-Jul 99 ( 2)] Cartesian Monads and Pullbacks
[Jul 99-Jul 99 ( 1)] Category Theory for Computing Science - Third Edition
[Jul 99-Aug 99 ( 6)] Co-exponential Question
[Jul 99-Jul 99 ( 4)] Early Exercise in Mac Lane 
[Jul 99-Jul 99 ( 1)] IFCoLog - International Federation for Computational Logic
[Jul 99-Jul 99 ( 1)] Internal Sheaf
[Jul 99-Jul 99 ( 3)] Mac Lane's Inclusions
[Jul 99-Jul 99 ( 2)] Maple Program for Cubical Categories
[Jul 99-Jul 99 ( 1)] Reference for Free Cubical Omega Category
[Jul 99-Aug 99 ( 3)] Universal Property of Tangent Bundle

[Aug 99-Aug 99 ( 1)] Generalized Subfunctors
[Aug 99-Aug 99 ( 1)] Monadic Completion of Adjunctions
[Aug 99-Aug 99 ( 2)] Pseudo Orbits
[Aug 99-Aug 99 ( 1)] New Mailing List for Universal Algebra

[Sep 99-Sep 99 ( 1)] Nonpareil Dinats
[Sep 99-Sep 99 ( 2)] Skeleton of a Category
[Sep 99-Sep 99 ( 1)] URLs Changing at McGill

[Oct 99-Oct 99 ( 1)] Exponentials in Set^Set
[Oct 99-Oct 99 ( 3)] Graph Classifiers
[Oct 99-Oct 99 ( 1)] Vickers - Address Change

[Nov 99-Nov 99 ( 1)] Adamek - Address Change
[Nov 99-Nov 99 ( 3)] Arithmetic in CCC
[Nov 99-Nov 99 ( 2)] Cat as Model Category
[Nov 99-Nov 99 ( 1)] Categories and K-Theory
[Nov 99-Nov 99 ( 2)] Ugo Berni Canani Passed Away

[Dec 99-Dec 99 ( 1)] Lambek FestSchrift in TAC
[Dec 99-Dec 99 ( 1)] Wells - Retired
[Dec 99-Dec 99 ( 1)] Modular Commutators
[Dec 99-Dec 99 ( 6)] Real Coalgebra