the Category Theory Mailing List

- from 1994

Initiated and
maintained by *Karel Stokkermans* from June 1994 to November 1999.

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?