Title of thread may differ from the posters' Subject headings, and may summarize threads developed under several headings. Month indicates first/last mail in the thread; the number of mails in the thread is indicated. Some items of ephemeral interest are indexed by date.

[Oct 97-Nov 98 (11)] Abstract Algebraic Geometry
[Jan 99-Jan 99 ( 3)] Abstract Stone Duality
[Jul 97-Jul 97 ( 4)] Actions of Groups on Categories
[Nov 97-Nov 97 ( 2)] Adjoining Indeterminates to Cartesian Categories
[Nov 95-Nov 95 ( 1)] Adjunction Question
[Jan 98-Jan 98 ( 2)] Adjunctions and Languages
[Jun 97-Jun 97 ( 2)] Algebraic Logic via Arrows
[Oct 96-Oct 96 ( 1)] Algebraic Semantics of Imperative Programs : Book
[Feb 95-Feb 95 ( 7)] Algebraic Structures for Eilenberg-Moore Algebras
[Nov 97-Dec 97 ( 5)] Algebraic Theories and Operads
[Jul 98-Jul 98 ( 5)] Algebraic Topology - Barr's Questions
[Jan 95-Jan 95 ( 6)] Algebraically Compact Categories
[Dec 94-Jan 97 ( 3)] Anafunctors
[Aug 96-Aug 96 ( 3)] Analytic Functors
[Aug 97-Aug 97 ( 9)] Applications for Category Theory
[Nov 99-Nov 99 ( 3)] Arithmetic in CCC
[Dec 95-Dec 95 ( 3)] Associativity and Commutativity of Addition
[Oct 97-Nov 97 (12)] Abelian-Topos Categories
[Nov 96-Nov 96 ( 1)] Australian Category Seminar announcements and Web pages
[Apr 97-May 97 ( 2)] Australasian Issue of Theoretical Computer Science
[Nov 97-Nov 97 ( 1)] Automated Software Engineering -- Panel Session Report Goguen
[May 96-May 96 ( 3)] *-Autonomous Categories
[Jul 99-Jul 99 ( 1)] *-Autonomous Non-Category
[Oct 96-Oct 96 ( 3)] *-Autonomous 2-Categories

[Jan 96-Jan 96 ( 1)] Bangor WWW pages
[Nov 98-Nov 98 ( 1)] Michael Barr named Peter Redpath Professor
[Nov 99-Nov 99 ( 3)] Ugo Berni Canani passed away
[Jan 99-Feb 99 ( 7)] Bi-categories - Reading Advice and Coherence Questions
[Oct 95-Oct 95 ( 1)] Bi-categories and 2-categories
[Oct 96-Oct 96 (10)] 2-Categories without the Interchange Law
[Mar 97-Mar 97 ( 1)] 2-Tangles
[Jan 96-Jan 96 ( 6)] Bimodules in a Biclosed Category
[Mar 95-Mar 95 ( 1)] Bimodules seen as Generalized Machines
[Dec 97-Dec 97 ( 1)] Rick Blute: Congratulations on Tenure
[May 95-Jun 95 ( 5)] Bounded Topos
[Sep 95-Oct 95 ( 6)] Braided Monoidal Categories

[Dec 96-Dec 96 ( 3)] Cartesian Closed Arrow Categories
[Jul 99-Jul 99 ( 2)] Cartesian Monads and Pullbacks
[Nov 99-Nov 99 ( 2)] Cat as Model Category
[Feb 99-Feb 99 ( 1)] Categorical Logic and Type Theory : Book
[Feb 98-Feb 98 ( 7)] Categorical Models for "While" and Floyd-Hoare Logic
[Nov 99-Nov 99 ( 1)] Categories and K-Theory
[Sep 97-Sep 97 ( 1)] Categories for Concurrency
[Nov 96-Nov 96 ( 2)] Categories for Higher-Order Functions
[Dec 95-Dec 95 ( 2)] Categories of ((Co-)Cones on) Diagrams
[Mar 96-Mar 96 ( 1)] Category Theoretic Reflection Principles
[Jul 99-Jul 99 ( 1)] Category Theory for Computing Science - Third Edition
[Nov 98-Nov 98 ( 1)] Category Theory for Computer Science Class
[Jan 96-Jan 96 ( 1)] Cauchy-completion of Bicategory?
[Oct 98-Oct 98 ( 1)] Center of a Category
[Jan 98-Feb 98 (16)] Challenge from Harvey Friedman
[Mar 97-Mar 97 ( 3)] Characterisation of Factorisation Systems
[Jul 94-Oct 94 ( 2)] Characterisation of Geometric Morphisms -- Questions on _Geom_
[Mar 96-Mar 96 (10)] Choice, Inclusions, Nonstandard Analysis
[Jun 98-Jun 98 ( 3)] Chu(Ab,circle) is Abelian
[Jul 98-Sep 98 (32)] Co- Prefix
[Mar 96-Mar 96 ( 1)] Cohen and the Continuum
[Nov 97-Oct 98 ( 2)] Cocompletion of Categories
[Jul 99-Aug 99 ( 6)] Co-exponential Question
[Jun 98-Jun 98 ( 1)] Cofinite Sieves
[Oct 98-Oct 98 ( 6)] Cogenerator in Omega-Cat?
[Oct 94-Oct 94 ( 4)] Coherence and T_0 imply sobriety?
[Oct 94-Oct 94 ( 2)] Coherent Locales
[May 96-May 96 ( 1)] Coherent Toposes
[Nov 94-Nov 94 ( 2)] Colimits in Categories of Diagrams
[Oct 94-Oct 94 ( 2)] Colimits of Hilbert spaces
[Jan 98-Jan 98 ( 7)] Combining Monads
[Jun 97-Jul 97 ( 5)] Comma Categories and Artificial Perception
[Oct 98-Oct 98 ( 5)] Comma Categories in Enriched Contexts?
[Nov 98-Dec 98 ( 6)] Commutative Monoids
[Dec 94-Jan 95 ( 2)] Complete Heyting Algebras
[Oct 95-Oct 95 ( 6)] Complete Lattices - a Question
[Jul 94-Jul 94 ( 2)] Completeness Simply Typed Lambda Calculus
[Nov 98-Nov 98 ( 3)] Composable Pasting Schemes
[Mar 95-Mar 95 ( 5)] Composition as a Relation?
[Mar 96-Mar 96 ( 1)] Computational Category Theory Tools
[Jul 95-Jul 95 ( 1)] Conceptual Completeness
[Sep 96-Sep 96 ( 1)] Conference Picture Descent Theory Meeting Oberwolfach 1995
[Oct 96-Oct 96 ( 1)] Conference Refereeing (correspondence Barr-Kelly)
[Nov 98-Nov 98 ( 2)] Continuity in Categories
[Sep 96-Sep 96 ( 5)] Co-well-poweredness of Varieties of Algebras
[Sep 98-Sep 98 ( 1)] Cryptography
[Sep 98-Sep 98 ( 1)] Cubical Nerve?
[Mar 95-Mar 95 ( 1)] CW Complexes: Homology <-> Homotopy

[Feb 97-Feb 97 ( 8)] Databases and Category Theory
[Feb 98-Feb 98 ( 1)] Decompositions of Topoi
[Mar 96-Mar 96 ( 9)] Defining Sets from Abelian Groups
[Apr 96-May 96 (12)] Denumerability Question
[Nov 98-Nov 98 ( 1)] Dimension of Morphisms in Omega-Categories
[Dec 95-Dec 95 ( 4)] Dinatural Exercise
[Jun 99-Jun 99 ( 1)] Dinaturality in the CCC Poset
[Dec 95-Dec 95 ( 1)] Discrete Opfibrations of Graphs
[Aug 94-Aug 94 ( 3)] Distributivity
[Apr 95-Apr 95 ( 1)] Does Set exist outside Set?
[Aug 94-Aug 94 ( 1)] Duality in 2-Categories
[Jan 99-Jan 99 ( 4)] Dualizing Object

[Jul 99-Jul 99 ( 4)] Early Exercise in Mac Lane 
[May 95-May 95 ( 4)] Effective Topos
[Jan 98-Oct 98 ( 9)] Eilenberg Passed Away
[Jan 95-Apr 95 ( 2)] Electronic Journal (Theory and Applications of Categories)
[Jan 96-Jan 96 ( 1)] Electronic Journal - TAC, Vol. 1 (abstracts)
[Jan 98-Jan 98 ( 1)] Electronic Journal - TAC, Vol. 3 (abstracts)
[Jan 99-Jan 99 ( 1)] Electronic Journal - TAC, Vol. 4 (abstracts)
[Nov 97-Nov 97 ( 1)] Elementary Toposes
[Dec 97-Dec 97 ( 8)] E-Print Archive in Category Theory
[Jul 94-Jul 94 ( 1)] E-M Factorisation Systems
[Dec 94-Jan 95 ( 4)] Enriched Functors
[May 95-Jun 95 ( 6)] Epis
[May 97-May 97 ( 2)] Equilogical Spaces
[May 98-May 98 ( 1)] Evolutive Systems with Memory
[Oct 99-Oct 99 ( 1)] Exponentials in Set^Set
[Mar 95-Mar 95 ( 1)] Extensions of Abelian Categories
[Aug 96-Sep 96 (27)] Extensive Categories

[Jan 96-Jan 96 ( 1)] Factorisation of Generalised Geometric Morphisms
[May 98-May 98 ( 1)] Fibrational Theory of Geometric Morphisms
[Nov 94-Nov 94 ( 3)] Fibrations <--> Adjunctions?
[Jan 97-Jan 97 (13)] Finiteness in Toposes
[Oct 98-Nov 98 ( 6)] Finite Products are Finite Sums iff Hom Functor factors through Commutative Monoids
[Feb 95-Feb 95 ( 1)] FinLim et FinProd?
[May 98-Nov 98 ( 6)] FISh Language
[Feb 98-Feb 98 ( 1)] Formal Languages Fibrationally
[Sep 96-Sep 96 ( 5)] Free Complete Heyting Algebras
[Jul 99-Jul 99 ( 1)] Free Cubical Omega Category - reference sought
[Dec 97-Dec 97 ( 1)] Free-Forgetful Adjunction for Vect
[Jun 99-Nov 99 ( 2)] FTP Directory Michael Barr
[Mar 95-Mar 95 ( 1)] Fukaya ("floer homology")
[Oct 95-Oct 95 ( 1)] Full Internal Functor
[Jun 97-Jul 97 ( 6)] Functions from Omega to Omega
[Jan 98-Jan 98 ( 4)] Functor Algebras
[Feb 97-Feb 97 ( 2)] Functors Adjoint to Their Dual

[Jun 95-Jun 95 ( 1)] Garbled Paper Barr in MSCS
[May 98-May 98 ( 5)] General Abstract Nonsense
[Jul 95-Jul 95 ( 1)] Generalised Spaces
[Aug 99-Aug 99 ( 1)] Generalized Subfunctors
[Nov 97-Nov 97 ( 1)] Gentzen and Hilbert Formulations of Linear Logic
[Mar 99-Mar 99 ( 4)] Geometric Formulae and Axioms
[Nov 98-Nov 98 ( 5)] Gödel and Category Theory
[Apr 96-Apr 96 ( 4)] Graduate Algebra Text
[Oct 99-Oct 99 ( 3)] Graph Classifiers
[Jul 96-Jul 96 ( 2)] Grothendieck Mauscripts
[Nov 94-Dec 94 ( 4)] Grothendieck Universes - Origin Name?

[Feb 96-Feb 96 ( 1)] H-Day
[Apr 96-Apr 96 ( 1)] Help Request (CPOs, Effective Sets)
[Nov 98-Nov 98 (11)] Higher Category Theory and Homotopy Theory
[Apr 97-Apr 97 ( 1)] Higher Dimensional Group Theory
[May 96-May 96 ( 1)] Hypatia Electronic Library
[Sep 94-Sep 94 ( 1)] Hyperidentities and Lambda Calculus

[Jan 98-Jan 98 ( 4)] Ice Storm at McGill
[Jul 99-Jul 99 ( 1)] IFCoLog - International Federation for Computational Logic
[Feb 99-Feb 99 ( 1)] Industrial Application of Category Theory
[Dec 98-Dec 98 ( 2)] Inferring Colimits
[Dec 97-Dec 97 ( 2)] Injectives and Choice
[May 97-May 97 ( 3)] Injectivity
[Jul 99-Jul 99 ( 1)] Internal Sheaf
[Mar 97-Mar 97 (15)] Intuitionism's Limits
[Oct 95-Oct 95 ( 1)] Iossif and Suzuki: Concept of Computable Varieties
[Sep 96-Sep 96 ( 3)] Irreducibility
[Aug 97-Aug 97 ( 5)] Is Cut Semantical?
[May 99-Oct 99 ( 5)] Isbell - Illness
[Jun 96-Jun 96 ( 1)] Isbell Interview

[Mar 97-Mar 97 ( 1)] JFP Editorial April 1997
[Mar 97-Mar 97 ( 2)] Peter Johnstone: Readership Congratulations
[Mar 96-Mar 96 ( 1)] Johnstone Quote
[Jan 98-Jan 98 ( 1)] Journals Boycott

[Jan 98-Jan 98 ( 1)] Kan Extensions: Terminology?
[May 99-May 99 ( 1)] Kleisli Bi-Categories
[Feb 95-Feb 95 ( 1)] Kleisli Category for Multiple Monads
[Sep 95-Sep 95 ( 1)] kuvio.tex (diagrams for dvips users)

[Sep 97-Sep 97 ( 1)] Lakoff and Nunez - article recommended
[Dec 99-Dec 99 ( 1)] Lambek FestSchrift in TAC
[Feb 97-Feb 97 ( 1)] Lawvere Homepage
[Jan 97-Jan 97 ( 2)] Lax Indexed Functors
[Mar 99-Mar 99 ( 2)] Lax Monads and Algebras
[Feb 99-Feb 99 ( 1)] Lax-Natural Transformations
[Jul 96-Jul 96 ( 1)] Lifting of SM(C)-Structure
[Aug 97-Aug 97 ( 1)] Limits in n-Categories
[Sep 95-Sep 95 ( 1)] Limits of Finite Monoids
[Mar 99-Mar 99 ( 1)] List Outage
[Oct 94-Oct 94 ( 3)] Literature for Graphical Algebras?
[Nov 97-Nov 97 ( 2)] Local Maps of Toposes are Always UIAO
[Oct 95-Oct 95 ( 2)] Local Right Adjoints Imply Global Ones?
[May 95-May 95 ( 5)] Locally Small Cocomplete Elementary Toposes?
[Oct 96-Oct 96 ( 5)] Local Smallness in Gabriel-Zisman
[Nov 95-Nov 95 ( 3)] Local Set Theory

[Jul 99-Jul 99 ( 3)] Mac Lane's Inclusions
[Jan 99-Jan 99 ( 1)] Manhattan Street Problem
[Jul 99-Jul 99 ( 2)] Maple Program for Cubical Categories
[May 96-May 96 ( 1)] Master Class in Utrecht
[May 95-May 95 ( 1)] MathSci
[Jan 99-Jan 99 ( 1)] Maude 1.00 Release
[Jun 94-Jun 94 ( 1)] McCarty's Realisability and the Effective Topos
[Sep 99-Sep 99 ( 1)] McGill: URLs Changing
[Mar 96-Mar 96 ( 2)] Mechanization of Category Theory
[Jul 97-Jul 97 ( 1)] Microsoft Talk Mentioning Category Theory
[Dec 99-Dec 99 ( 1)] Modular Commutators
[Aug 99-Aug 99 ( 1)] Monadic Completion of Adjunctions
[Oct 96-Oct 96 ( 1)] Monads and Generic Subobjects
[Jun 96-Jul 96 ( 4)] Monoidal Adjunction
[Jan 99-Jan 99 ( 1)] Monoidal Categories - References for Constructions
[Mar 99-Mar 99 (10)] Monoidal Structure on Graphs
[Mar 97-Mar 97 ( 3)] Morphisms of Diagrams
[May 98-May 98 ( 2)] Multicategories
[Jan 99-Jan 99 ( 3)] Myles Tierney Jr. RIP

[Oct 98-Oct 98 ( 2)] Natural Numbers Objects and Free Algebras
[Mar 98-Apr 98 ( 9)] Naturality Squares and Pullbacks
[Dec 97-Dec 97 ( 5)] Non-Abelian Categories
[Sep 99-Sep 99 ( 1)] Nonpareil Dinats

[May 98-May 98 ( 2)] Omega Categories
[Mar 96-Mar 96 ( 3)] Orthogonality and Topos Question

[Jan 97-Jan 97 ( 1)] Package for Crossed Modules
[Nov 94-Nov 94 ( 3)] Papers on Internal Categories?
[Oct 98-Oct 98 ( 1)] Paracategories?
[Feb 95-Feb 95 ( 1)] Pareigis - Odd Numbered Pages?
[Aug 94-Aug 94 ( 1)] Partial Topos
[Oct 97-Oct 97 ( 1)] Path Algebras
[Jan 98-Jan 98 ( 1)] Perfect Double Negation
[May 98-May 98 ( 1)] Philosophical Roots of Category Theory?
[Sep 96-Sep 96 ( 1)] Physical Braids
[Apr 96-Apr 96 ( 3)] Piaget
[Mar 99-Mar 99 ( 7)] Polymorphic Lambda-Calculus
[Dec 96-Mar 99 ( 5)] Practical Foundations of Mathematics (Monograph Paul Taylor)
[Nov 97-Nov 97 ( 2)] Pratt Slices
[Sep 97-Sep 97 ( 2)] Preprint Archive on Scholarly Communications
[Feb 98-Feb 98 ( 2)] Prime Objects and are they Generators?
[Oct 98-Oct 98 ( 4)] Probability Theory and Category Theory
[Jun 98-Jun 98 ( 1)] Projective Diagrams
[Aug 96-Aug 96 ( 7)] Proposal on Publishing by Michael Barr
[Sep 95-Sep 95 ( 3)] Pseudonatural Transformations
[Aug 99-Aug 99 ( 2)] Pseudo Orbits
[Jan 99-Jan 99 ( 3)] Pullback Preserving Functor
[Jun 97-Jun 97 ( 2)] Pushouts in Toposes

[Jul 97-Jul 97 ( 1)] q-alg (List on Quantum Algebra)
[Oct 94-Oct 94 ( 1)] Quantales

[Feb 98-Mar 98 ( 5)] Quantifiers for Monoids
[Apr 96-Apr 96 ( 1)] Quasigroups
[Oct 97-Oct 97 ( 2)] Query on Coordinate Systems in Programming Languages
[Oct 97-Oct 97 ( 2)] Query on Set Theory and category theory
[Feb 97-Feb 97 ( 2)] Query on Strange Groups
[Jan 97-Jan 97 ( 1)] Query on W.E.'s

[Dec 99-Dec 99 ( 6)] Real Coalgebra
[Mar 95-Mar 95 ( 1)] Realisation of Simplicial Groups
[May 99-May 99 ( 2)] Recursive Types in Polymorphic Lambda Calculus
[May 98-May 98 ( 6)] Regular Embedding
[May 96-May 96 ( 1)] Reorganization of Stanford Papers Web Page
[Mar 95-Mar 95 ( 1)] Reversing the Grothendieck Ring Construction?
[Aug 97-Aug 97 ( 2)] Reviews of Books on Category Theory in Computer Science

[May 97-May 97 ( 1)] Scott is Phoa, locally
[Mar 97-Mar 97 ( 1)] Semantics and Logics of Computation (editors Pitts and Dybjer)
[Aug 95-Aug 95 ( 2)] Separate Continuity
[Nov 96-Nov 96 ( 2)] Separated Objects
[Mar 96-Mar 96 (45)] Set Membership <-> Function Composition
[Jan 99-Feb 99 ( 2)] SGM v1.1, v1.2 Released
[Aug 96-Aug 96 ( 1)] Sheaves?
[Dec 97-Dec 97 ( 1)] Sheaves and Logic
[Sep 98-Sep 98 ( 3)] Shelah's Classification Theory
[Apr 98-Apr 98 ( 1)] Signal Processing and Category Theory
[Jul 97-Jul 97 ( 1)] Signed Associahedra
[Mar 95-Mar 95 ( 7)] Simplicial Questions
[Sep 99-Sep 99 ( 2)] Skeleton of a Category
[Apr 99-Apr 99 ( 2)] Small Universes
[Feb 98-Feb 98 ( 1)] Specification vs Execution
[Jan 99-Jan 99 ( 3)] Strictification
[Aug 96-Aug 96 ( 1)] Submit Exceptional Papers to JACM
[Jun 99-Jun 99 ( 1)] Subobject Classifiers
[Oct 94-Nov 94 ( 6)] Substructures of Free Structures
[Oct 96-Oct 96 ( 1)] Symbolic Sculptures and Mathematics
[Apr 96-Sep 98 ( 7)] Symmetric Monoidal Closed Categories

[Mar 98-Mar 98 ( 1)] Teaching Category Theory
[Mar 98-Mar 98 ( 2)] Tensor Products of Cocomplete Categories
[Sep 97-Sep 97 ( 1)] Topology Atlas
[Aug 94-Sep 94 ( 2)] Top-op is a Quasi-Variety
[Mar 96-Apr 96 ( 4)] Toposes vs Sets
[Jun 96-Jun 96 ( 1)] Topos-theoretic Classification of Lie Groups
[Jan 95-Aug 99 (10)] Triples WWW Pages - Information
[Oct 98-Oct 98 ( 4)] Twisted Arrow Categories

[Oct 98-Oct 98 ( 1)] Unicode for Math Symbols
[Jan 95-Jan 95 ( 2)] Union Associative?
[Jun 98-Jun 98 ( 3)] Units in Lax and Oplax Monoidal Functors
[Aug 99-Aug 99 ( 1)] Universal Algebra - New Mailing List
[Jul 99-Aug 99 ( 3)] Universal Property of Tangent Bundle
[Jan 99-Feb 99 ( 6)] Universal Quantification
[Jun 99-Jun 99 ( 1)] Universes within ZFC
[Jul 98-Jul 98 (10)] Upper Case and Lower Case
[Nov 98-Nov 98 ( 1)] Usefulness of Particular Topos

[Jun 96-Jun 96 ( 2)] Gilberte Vandenbossche
[Feb 96-Feb 96 ( 1)] Vanishing of Derived Functors of Inverse Limit
[Dec 96-Dec 96 ( 1)] Varieties
[Feb 99-Feb 99 ( 1)] Vaughan Pratt - in Real Life

[Aug 96-Oct 97 ( 4)] Weak n-Categories
[May 99-May 99 ( 2)] Weak Omega Category
[Nov 97-Nov 97 ( 2)] Weakened Operads
[Jul 96-Jul 96 ( 1)] Websites, ftp, and Copyright
[Nov 96-Nov 96 ( 2)] What Kind of Functor?
[Sep 94-Sep 94 ( 1)] World Wide Web for Category Theory List

[Jun 94-Mar 98 (13)] XY-Pic (Info on New Releases etc.)
[Jul 98-Aug 98 ( 7)] XXX Preprint Archive

[Nov 98-Nov 98 ( 1)] Yoneda Lemma Query
[Apr 96-Apr 96 ( 1)] Yoneda Passed Away

[Apr 99-Apr 99 ( 8)] Zermelo-Fraenkel Set Theory Inconsistent?