From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4043 Path: news.gmane.org!not-for-mail From: JeanBenabou Newsgroups: gmane.science.mathematics.categories Subject: Historical terminology,.. and a few other things. Date: Tue, 30 Oct 2007 10:02:52 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Content-Type: text/plain;charset=ISO-8859-1;delsp=yes;format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019684 11452 80.91.229.2 (29 Apr 2009 15:41:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:41:24 +0000 (UTC) To: Categories Original-X-From: rrosebru@mta.ca Tue Oct 30 14:45:50 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 30 Oct 2007 14:45:50 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Imv3y-0007Ms-Ck for categories-list@mta.ca; Tue, 30 Oct 2007 14:39:38 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 101 Original-Lines: 715 Xref: news.gmane.org gmane.science.mathematics.categories:4043 Archived-At: Historical terminology,.. and a few other things. 0. Prologue 0.1. I want to thank all the colleagues who answered my questions on =20= "historical terminology". I shall try to answer all of them, and =20 shall greatly appreciate any remarks or comments about the present mail 0.2. I type very slowly, all the more so because I decided to =20 respect the constraints of "Outypo" in this mail.(See the appendix =20 for the meaning of this word). These constraints explain the unusual =20 presentation of this text 0.3. I shall abbreviate by (c), (cc),(lcc) and (lcct) the =20 following properties of categories: "cartesian", "cartesian closed", =20 "locally cartesian closed" , and "locally cartesian closed with a =20 terminal object". 0.4. I shall denote by El the book of P. Johnstone: Sketches of an =20 Elephant, Vol.1 and, and for references I shall use the monumental =20 bibliography of El in the following manner: (i) If the reference is there, I use El then the number, in bold =20 face between brackets, e.g.(El 911) means : S.C. Nistor and I. Tofan, On the category ab(E) (Romanian), =20 Bul.Inst.Politechn. Iasi (I) (1985) 205-207 ; MR 87g:18001 (ii) If the reference is not there, I shall write the symbol (El ?) =20= followed by the minimum information permitting to localize it, e.g. (El ?) P.J. Cohen, Set theory an the Continuum Hypothesis 0.5. The notations shall be either standard or self explanatory with =20 the following exception: I shall abbreviate "x is an element of y" by =20= "x@y". For example in the following definition: A category X is lcc if it satisfies: forall x (x@Ob(X) =3D> X/x is cc) 0.6. A first draft had convinced me that my mail would be abnormally =20 long, so I have decided to break it in two parts. The first, almost =20 totally devoted to (lcc), already very long, which I send =20 immediately. I shall then wait a few days for the second part, =20 devoted to (c) and (cc). This will permit me to receive any remarks =20 or comments you would want to make about this first part, and to =20 answer them as well as I can in the second part. I hope I won't be too boring, and apologize in advance if I am 1. Locally cartesian closed categories (lcc) =46rom Prof. Peter Johnstone's answer to the question: Why did he =20 impose a terminal object in his definition of lcc, I quote: "I did that because it seemed the appropriate convention to adopt in the context of topos theory. I wasn't trying to dictate to the rest of the world what the convention should be. On the other hand, there seem to be remarkably few `naturally occurring' examples of locally cartesian closed categories which lack terminal objects: the category of spaces (or locales) and local homeomorphisms is almost the only one I can think of." Since "he can think" only of very few or almost only one "naturally =20 occurring" lcc's which lack terminal objects, let me provide "a lot" =20= more ones. 1.1 First examples of categories which are l.c.c but have no =20 terminal object (i) The smallest "I can think of" namely O, the empty category. (ii) A little bit bigger, but not too big: 1+1, the discrete category =20= with two objects. (iii) Any discrete category ( except 1 of course) (iv) Any group (again except 1). (v) Any groupo=EFd (non trivial, i.e. non equivalent to 1). The reason for (v) is the following characterization of groupoids, =20 which does not seem to have found its way in standard texts on =20 category theory: A category X is a groupoid iff all its slices are equivalent to 1 Moreover, if X is a groupoid, the following are equivalent : (a) X has a terminal object (b) X is non empty and has binary products (c) X is equivalent to 1 Since (i), to (v) are groupoids, I shall count the whole previous =20 list as one single type of example, and give others which don't fit =20 in this pattern. (vi) The ordered set Omega of natural numbers. (viI) More generally any limit ordinal . (viii) The ordered category On of all ordinals. (ix) Any coproduct of l.c.c. (Even if they all have terminal objects, =20= provided there is more than one such category) (x) Any rooted tree, with the canonical ordering obtained by taking =20 the root as smallest element. In particular the binary tree. And of =20 course, by (ix) any "planted forest", i.e. coproduct of rooted trees. (xi) the ordered set R_+ of non negative real numbers. (xii) A little bit bigger than Omega, but still countable namely: the =20= category with objects the finite cardinals and maps the injections. (xiii) The following one might be "handy" for logical purposes: If C is a topos, the category Mono(C) having the same objects, and =20 as maps the monos of C is lcc without terminal object. Question: Which, among the previous list, is so "unnaturally" =20 occurring" that it should be "banned" from category theory? And =20 moreover at the cost of a "linguistic violation" of the commonly =20 adopted meaning of "local"? 1.2. First "stability" results The following theorems "explain" and generalize many of the previous =20 examples, and permit to construct many more important lcc's without =20 terminal objects. 1.2.1 Theorem If C is a lcc category, so is Mono(C). 1.2.2 Theorem Let P: D-->C be a discrete fibration, if C is l.c.c. =20= so is D 1.2.3 Corollary Let C be a category and D be a sieve of C. If =20= C is lcc so is D. I shall leave to your "fertile brains" (Preface of El , p.viii) the =20 pleasure to use 1.2.1 and 1.2.2 to construct lcc's without terminal =20 objects, and I shall use only the much weaker 1.2.3 to give more =20 examples. They all fit in the following general pattern: Start with a =20= C which is lcc, and may or may not have a terminal object. Suppose is =20= is equipped with a notion of "boundedness",and take for D the sieve =20 of bounded objects. Here are a few important examples: (xiv) Take for C an elementary topos, and call an object of C =20 bounded if it is contained in a (Kuratowski)-finite object. (xv) Let A be any small category. Take for C the category A^ of =20 presheaves over A and call a presheaf bounded if it is contained in a =20= representable one. (xvi) Let X be a metric space. Take C=3DOpn(X) , the locale of its open =20= subsets, and call an open set U bounded if it is contained in a sphere. (xvii) Let X be a topological space, and again C=3DOpn(X), and call U =20= bounded if it is contained in a compact. (xviii) one can "sheafify" (xvi) and get the lcc of sheaves with =20 compact support. How many more examples does one need? Let me mention that the direct "proof" of 1.2.3 is so simple you =20 could cry: If D is a sieve of C, all its slices are slices of C, thus =20= any local property, not only lcc, satisfied by C will be shared by D. =20= But, even if C has a terminal object, D does not need to have one. 1.2.4 Remarks "en vrac" 1- Even if we assume in the previous results that C has a terminal =20 object, neither Mono(C) nor D need have one. Thus (lcc) has many more =20= "stability properties" than (lcct). See also 1.1 (ix) 2- It is even possible to have an lcc category , with binary =20 products but no terminal object. This is the case in the examples =20 (xv), (xvi) and (xvii) if the whole space X is not =20 "bounded" (partial answer to Dubuc) 3- There even exits an lcc which has binary products and is not =20 connected, namely 0 . (Dubuc again) 4 - There are much stronger " stability results" than the previous =20 ones permitting to construct lcc's but it would take too much space =20 to build the the "set up" where they can all be stated, let alone =20 proved. I shall say a few words about parts of this set up in the =20 next section, and show how it can be used for "general" local =20 properties, not just lcc. Question: What important theorems hold for (lcct), but not for (lcc)? If you ask the question in the other direction my answer is easy: All =20= the stability theorems I mentioned Remark: In the theory of fibered categories we work with fibers and =20 slices and the introduction of unneeded terminal objects weakens the =20 results or confuses some issues, and sometimes does even both. 1.2.5 Terminology again. There is by now an unwritten but (almost) =20 unanimous "linguistic consensus" on the following terminology: If P =20 is a "property" of categories, a category satisfies P locally iff all =20= its slices satisfy P. I do not want to "dictate" anything to anybody, but I think we could =20 all easily agree on this "unifying" terminology and, if for some =20 mathematically imperative reason, we need a different notion, we =20 should use our imagination to give it another name. There is already an unfortunate exception, namely: locally small =20 categories, which I never liked, (I would have preferred something =20 like: piecewise small). But "locally small" has been used by =20 countless mathematicians in countless texts, and in such a case I am =20 not very prone to change the terminology, even if I don't like it. 2 . Local properties of functors We extend the previous definitions to properties of functors in the =20 following manner. 2.1 Basic definitions 2.1.1. If F: X-->Y is a functor, and x is an object of X, the =20 slice of F at x is the obvious functor F/x: X/x-->Y/Fx induced by F We remark that, for G: Y-->Z , we have: (GF)/x =3D (G/F(x))(F/x) . 2.1.2. A property (of functors) is a class P of functors satisfying: Every iso F: X-->Y is in P, and P is stable under composition 2.1.3. If P is a property, a functor is locally in P if all its =20 slices are in P , thus we get a new property called the localized =20 of P and denoted by L(P) 2.1.4. If P is a property we say that a category X is in P if the =20 functor X-->1 is . In that case every category isomorphic to X is =20 also in P. 2.1.5. Properties are ordered by inclusion, we shall write P=3D>P' =20= for " P is contained in P' ". This implies L(P)=3D>L(P') 2.2 Remarks, again "en vrac" 1- One can define more general notions of "localness" than those I =20 gave in 2.1, but I shall not mention them in this mail 2- =46rom a categorical point of view the definitions I gave are =20 "natural" . They are also very simple and, because of this =20 simplicity, one might think that not much can be derived from them. =20 That it need not be so, comes from the fact that very simple =20 properties may have much "richer" localizations. 3- Although this may seem "strange", I do not assume that: if F: X-->Y is in P, and F': X-->Y is isomorphic to F, then F' =20 is in P, let alone that every equivalence functor is in P. e.g. P could very =20 well be the property of functors which are surjective on objects. .2.3 Local Iso's I denote by Iso the smallest property: the only functors in it are =20 iso's, the functors in its localized are thus local iso's. Quite =20 "surprisingly" we have: 2.3.1 Theorem A functor F: D-->C is a local iso iff it is a =20 discrete fibration As a consequence we have following "ubiquity" of discrete fibrations, =20= if F: D-->C is such a fibration, then for any property P, F is in =20= L(P). In particular, If C is in L(P) is in L(P) so is D. Since for any category X the functor 0-->X is a discrete =20 fibration, it will be be in L(P), and in particular so will be the =20 initial category 0. More than 2/3 of the examples of =A71 follow from the previous remarks =20= applied to the very special case of lcc's 2.4 Local surjective equivalences The smallest property "I can think of", after Iso of course, is SEq , =20= surjective equivalences, which I define as:functors which are =20 full,faithful and surjective on objects. (They are also surjective on =20= maps). Thus its localization L(SEq) is defined. Even more =20 "surprisingly", we have: 2.4.1 Theorem Let F: D-->C be a functor. The following are equivalent : (i) F is locally a surjective equivalence, i.e. F is in L(SEq) . (ii) Every map of D is F-Cartesian, and F is a fibration. (iii) F reflects isos and F is a fibration. (iv) F is a groupoid - fibration (i.e. a fibration where all the =20 fibers are groupoids. Almost every property P contains all equivalences, and in particular =20 the surjective ones. Thus we get an "almost ubiquity" of groupoid fibrations :For any =20 such P we have: (i) Every groupoid fibration F: D-->C is in L(P). In particular: (ii) If C is in L(P) so is D (iii) If G is a is a groupoid it is in L(P) This explains, and considerably generalizes 1.1 (iv), and it might =20 interest Ronnie Brown. 2.4.2 Remarks Surjective equivalences are much better than mere equivalences because : (i) They are stable under pull backs whereas equivalences are not, =20 and they can even be characterized as the only equivalences stable =20 under pull-backs. (ii) They are fibrations and, as fibrations , they have simple =20 characterizations, namely: Let F be a fibration: F is an equivalence <=3D> each fiber is equivalent to 1 <=3D> F is in = SEq (iii) They can be internalized in any regular category, and "behave" =20 there as well as one might want. (iv) I don't know who observed first that equivalences are not stable =20= under pull-backs. It is mentioned explicitly in Grothendieck's first =20 paper on fibrations, together with the fact that, for fibrations, =20 they are stable: (El ?) A. Grothendieck , Categories fibrees et descente; SGA 1961 . (v) Much later, Freyd and Scedrov (loc. cit. 1.361 p.19) have =20 considered surjective equivalences under the name of inflations, but =20= they were mainly interested, as most people, in "mere" equivalences =20 and the inflations served only to decompose equivalence functors. =20 In particular they never mentioned that inflations were fibrations, =20 nor that they were stable under pull-backs, both facts which are =20 important to me. 2.5. The local game Given time and space,I could have added to 2.3. and 2.4 a very long =20 list of localized properties, I shall just give an idea of the "local =20= game" I have been playing, with interruptions,for more than 25 years. =20= Chose simple properties P and find out what L(P) is. In the other =20 direction, chose some important (for you at least) property Q and =20 try to see if it is of the form L(P) for some P . Such a P need not =20 be unique, so try to find one "as simple as possible". 2.5.1. Example If P is the property of functors which are surjective =20= on objects and have a right adjoint, we have: A functor is in L(P) =20 iff it is a fibration. Thus, if F:X-->Y is a fibration, for every property Q such that =20 P=3D>Q , we have: If G:Y-->Z is in L(Q) so is GF, and in particular, if Y is in L(Q) =20= so is X. 2.5.2. The "game" can be made more complex, and more difficult, by =20 imposing further "constraints" (see appendix) of the kind: For which P's is L(P) stable under pull-backs, or pseudo pull backs, =20 or has "adapted" calculus of fractions, etc. Before I got used to the game, I had many "surprises". Each of them =20 brought a new result or at least a better understanding of old ones. 3. A few comments on the answers I received 3.1 General picture There seems to be a general agreement in all the mails about the fact =20= that (lcc) should not include terminal objects, except of course for =20 Prof. Peter Johnstone, but I have already made long comments about =20 his mail, and if he is not convinced by my purely mathematical =20 arguments, I'd greatly appreciate if he could tell me why he isn't. =20 Of course again: only for mathematical reasons. The mails which agreed with my definition explained this agreement =20 by two kind of arguments: (i) Purely linguistic and coherent use of "local". This includes Fred =20= Linton, Eduardo Dubuc and Phil Scott's second mail. As I totally =20 agree with them on this basis I shall make no more comments (ii) Arguments coming from "logical systems" such as dependent =20 types, lambda calculus, etc. This includes Phil Scott, Vaughan =20 Pratt,and Paul Taylor. I must confess i am not convinced by these =20 types of arguments, and I shall explain why. I expect strong =20 reactions to some of my statements, and I shall be very happy to to =20 hear them, and try to answer them. 3.2. First comments I'm absolutely sure, even if I don't know some of them very well, =20 that the "logical systems" mentioned in the previous sub-section, =20 provide very important examples of lcc or lcct categories. =20 Nevertheless I'm tempted to say So What? I won't say it because some people might think there are limits to =20 heresy, but very deep in my mind I'll continue to think it. Why? 3.2.1. Other important examples can arise from different domains of =20 Category Theory or more generally from mathematics. I gave a long list in =A71 , which I could easily have made much =20 longer, and even if someone could prove that, say, Omega , R_+ , any =20 groupoid, sheaves with compact support , could be described in terms =20 of "dependent types" or "lambda-calculus" I would still not be =20 convinced! Because each description would require a different ad-hoc "logical =20 system", which would certainly appear artificial to the specialists =20 of the domain, whereas for a categoricist these examples are all easy =20= and meaningful. In particular I ask the question: Which of the previous examples has ever appeared in the context of =20 such logical systems? 3.2.2. I shall go a bit further. Even If someone did come up with a =20 (meta) theorem of the kind: "Every lcc category can be described as a =20= suitable model of such a forma system" , (Which is probably true, =20 and probably easy to prove), even in that case, I would still not be =20 convinced! Because: How would one interpret the various stability theorems I =20 mentioned? For example: Suppose I know that a specific lcc category =20 C is a model of some formal system (F). By 1.2.1 and the, yet =20 unproved, meta-theorem I alluded to, I shall know that Mono(C) is a =20 model of another formal system of the same kind, say (F'). But then =20 how do I deduce syntactically (F') from (F) ? I contend that Category Theory by asking such natural questions, =20 might inspire some interesting formal constructions in various =20 "logical systems" 3.2.3. Category Theory is "irrigated" by many mathematical fields. An =20= important one is so called "categorical logic", but it is not the =20 only important one. And if we are tempted to think that some axioms =20 we assume on categories make them "the embodiments" of some kind of =20 logical system, they are almost never only that e.g. : Think of a topos as "semantics for intuitionistic formal =20 systems" (El. Preface) what is the "syntactic counterpart" of the =20 following well known and important result: If C is an internal category of a topos E, the category E^C is a =20 topos. Such a syntactic description could perhaps be given, but at what =20 cost? And would it clarify or obscure this basic result? 3.2.4. There is yet another question to specialists of "logical =20 systems" Any category with a terminal object is connected as a =20 category. lcct categories are connected. Now an elementary topos or a =20= locale are lcct categories , where there is another important notion =20 of connectedness, namely 1 is a connected object (I apologize for =20 such trivialities). Here is the question: Is there a similar notion of connectedness for the kind of "logical =20 systems" I mentioned earlier? 3.2.5. Suppose E is an elementary topos.(the assumption is much too =20= strong, but I make it to be on the safe side) One might want to =20 define internal categories in E which are lcc. Incidentally I did =20 it . It was easy. And in order to do it, I didn't have to =20 "internalize" (whatever that might mean) "Dependent Type Theory", or =20= any other logical system. 3.3. The main objection 3.3.1 I have given in 3.2. many reasons why arguments coming =20 exclusively from "categorical logic" did not convince me, but there =20 is a fundamental one, namely: Viewing some categories as embodiments of "logical systems", most of =20= the time does not give any indication about what the morphisms =20 between such categories ought to be, and sometimes even suggest wrong =20= directions. When we need these morphims,and in general we do need =20 them, the ultimate choice comes from mathematics, not logics. 3.3.2. First examples (i) What is the notion of morphism, if any, suggested by formal =20 systems such as : "Dependent Type Theory", or "Typed Lambda calculus" ? (ii) Has anybody defined a notion of morphism between =20 "Hyperdoctrines", and, if nobody has, why not? (iii) In =A72.5. of their very nice book (El 381) Freyd and Scedrov =20 define the notion of congruence on an Allegory. This a natural =20 definition of "syntactic type". But very quickly they restrict their attention to "amenable congruences" which are no =20 longer "syntactic". This is a typical illustration of the fact that =20 "ultimately, the choice comes from mathematics". (I shall come back =20 to this notion of congruence in the second mail) 3.3.3. A morphism of toposes is ...? In the preface of El one can find a very illuminating list of =20 "descriptions" beginning by "A topos is.." and numbered from (i) to =20 (xiii). I shall use the same numbering if I want to refer to some of =20 them. I was very much impressed, especially since it took more than =20 20 years to complete that list, and the contribution of, I quote: =20 "the category-theory community", and, "the theoretical computer =20 scientists" . Since there was not a single description of geometric morphisms, I =20 studied carefully that list, in the light of 3.3.1, to see which of =20 the 13 descriptions were most suitable to give indications about how =20 to describe these morphisms. Obviously (v) and (viii) are too =20 "sophisticated" and require too much preliminary knowledge of Topos =20 Theory, and many other domains, to serve my purpose, so I dropped =20 them and concentrated on the 11 remaining descriptions. And there, I had a big "surprise" : I am no linguist, and moreover =20 English is not my mother language, but I remarked that the "A" in "A =20 topos is" had different meanings, e.g. 1. In (xii) "A topos is" means "some toposes are". 2. In (i), (vi) and (xi) "A topos is" means "every Grothendieck =20 topos is" 3. In (ii),(iii), (iv),(vii),(ix),(x) and (xiii) "A topos is" means =20 "every topos is" I shall not insist on this "logical ambiguity",but obviously, if we =20 seek a general description of morphisms of toposes, we won't find it =20 in 1 because only "some" toposes fit in this description. In the "sublist" 3, (iii), (iv), (vii), and (xiii) come from various =20= logical systems. I have tried to figure out, thinking only in terms =20 of such systems, what a morphism should be. I confess I couldn't find =20= a natural definition of such morphisms between, say: two "..=20 (embodiments of) an intuitionistic higher-oder theory" , (iii), let =20 alone between one such embodiment and "..a setting for synthetic =20 domain theory" (xiii). I'm sure a helpful colleague will supply a =20 "bridge" between the two. The best I could do was to "describe", very =20= vaguely, logical morphisms between two toposes, and only when their =20 two "descriptions" were given by the same number on the list. When the "fertile brain" of Grothendieck (El preface, p.viii) gave =20 the definition of geometric morphism, he knew only (i) in "the =20 list", because he happened to have invented it. The definition was =20 given for purely mathematical reasons. And as all very deep =20 mathematical definitions, it has resisted time. It has even =20 anticipated time, because it is suitable for elementary toposes which =20= didn't even exist when he gave his definition! There is much more one can say about based toposes than about "mere" =20 toposes, and I'd be curious to know how specialists of "logical =20 systems" or "computer scientists" would have, even in a "descriptive" =20= manner, answered the question: A based topos is ... ? I have some comments, questions, and even a few answers, about "La =20 Lista", which is supposedly the fruit of: the category-theory =20 community and the theoretical computer scientists. But I shall =20 postpone them until "better times" 3.3.4. Logical categories and categorical logic I think that the scope of "categorical logic" should be much wider =20 than the mere study of the categories which "embody logical systems", =20= which I propose to call by the "generic" name of logical categories. =20 (But of course I would never dream of trying "to dictate" anything =20 to anybody, let alone to "the rest of the world") It could include in particular: (i) the study of "local properties" , a "flavor" of which has ben =20 given in =A72, (ii) Calculus of fractions, adapted to various "properties" of =20 categories and functors , a first part of which, with clear =20 motivations, can be found my paper (El 103) . But that was in 1989, =20 almost prehistory. Some of you may have doubts about the relevance of =20= this calculus of fractions to "categorical logic". In the second =20 part, if I don't have to answer too many questions or objections =20 about the present mail, in the same spirit as in =A72 I shall give a =20 few mathematical results to try to convince them (iii) abstract notions of homotopies in categories but also of =20 categories, i.e. in Cat, as defined by Grothendieck in his "Pursuing =20 stacks". A group of mathematicians, mostly French, are developing =20 his ideas, and for those who might be interested, apart from their =20 numerous papers, I recommend volumes 301 and 308 of "Asterique" : G. Maltsinotis, La theorie de l'homotopie de Grothendieck D.C. Cisinski, Les prefaisceaux comme modeles de l'homotopie This list is very far from complete, and I'm sure that many of you =20 have in mind some important parts of category theory which could be =20 added to it 3.3.5. I have worked, on and off, for more than 20 years, on some =20 aspects of this "categorical logic". I have talked two or three times =20= about my ideas and my very very first results, but I met only "polite =20= but indifferent" reactions. Maybe my work didn't deserve much more. =20 I don't care. Because, if you allow me to be a bit "personal", this =20 work has given me a lot of pleasure. In particular because it has =20 permitted to deepen my relation with old and dear friends such as =20 fibered categories, cartesian maps and functors, categories of =20 fractions, etc, and to improve my understanding, and knowledge, of =20 their "qualities". And, last but not least, to prove new mathematical =20= results about them. 3.4. The special case of Mr. Paul Taylor The answer to Paul Taylor deserves a special treatment. Although I =20 deeply regret it, it will not be only mathematical, but such a choice =20= was his to begin with. I quote his mail: "I am sorry to say that I have seen papers emanating from respectable universities in which the authors have appeared to believe that this is the definition. (One of the papers that I have in mind cites many eminent categorists, who may perhaps have an opinion about =20 having their names appear alongside a lot of complete nonsense.)" 3.3.1- Why? Why such petty and spiteful attacks on unnamed mathematicians, =20 without any proof or justification, in a purely "historical", non =20 polemic discussion? (c.f. The answers of all the other participants) Why didn't anybody react to such attacks, or to previous ones, by the =20= same "Mr" Taylor? Does he enjoy some "special status", or shall we =20 have to consider in the future such behaviors as "normal"? I quote him again: "My footnote refers to "other authors" who said that LCCCs should =20 have binary products; I think I may have had Thomas Streicher in =20 mind, but I don't recall what he may have said or in what paper." 3.3.2- Streicher &... others? Why mention Thomas Streicher without at least trying to find out what =20= he said or wrote precisely on the question? Why not mention P. Johnstone's "Elephant" where this is precisely =20 written, long after Taylor's world famous "footnote" was published. =20 Lack of courage? Fear for future promotions? Why not mention two other " eminent categorists" who made the same =20 mistake in a published paper that he certainly knew, namely Phil =20 Scott and...Paul taylor himself who wrote in their joint paper (El.=20 977) at the very first page in the fist proposition: "Let C be a locally cartesian closed category( that is, C has finite =20 limits and for each object X in C, the slice category category C/X is =20= cartesian closed)..." Lack of memory? Lack, again, of elementary courage or decency to =20 "confess past errors"? When was Mr. Taylor "struck by the light" ? When did he abandon the finite limits before writing "his footnote", =20 and as all new zealots, started condemning very strongly his former =20 "sinning colleagues"? Except the powerful ones, of course! 3.3.3- "Consensus"? I quote him again: "I confess that I'm a bit surprised to find that the consensus agrees with me, so to set matters straight I should also point out that my argument applies equally to elementary toposes and other familiar structures of categorical logic." I am greatly honored to find that I agree with Mr. Paul Taylor's =20 footnote in "his book", which I have not read, and have no intention =20= to read, about matters I had completely settled more than 20 years =20 before "the" book was published ! Mr. Taylor was answering me. Thus I very gratefully thank him for =20 teaching me a few things that presumably I didn't know such as: "The simplest formulation is that an LCCC is a category every slice of which is a CCC. In particular, every slice has binary products, which are pullbacks in the whole category." "Objects of an LCCC and the slices that they define correspond to objects of a base category and the fibres over them in a fibred or indexed formulation of logic," I certainly do agree, except on a "minor detail": I do not like the =20 idea that my name could be in any manner whatsoever associated with =20 "indexed categories". I never used the term, I said and wrote =20 countless times that I considered the notion as wrong. Maybe I am =20 wrong, the future will decide. But I want no part of responsibility =20 in the propagation of this notion. This is my choice as a =20 mathematician. Incidentally, I am in very good company, most =20 mathematicians, some of them outstanding use fibrations. Of course, I =20= am quite ready, if I am asked, to give,once again, purely =20 mathematical reasons for this choice. But I'm afraid it will, again, =20 be in vain, because : "Il n'est pire sourd que qui ne veut entendre". 4. Appendix: Outypo (for my friend Jacques Roubaud, a poet, a mathematician and an =20 innocent victim) 4.1 Many of you have probably heard of "Oulipo", Ouvroir de =20 Literature Potentielle, a literary group created in 1960 by Raymond =20 Queneau and Francois Le Lionnais. It proposed to create literary =20 texts submitted to well chosen but otherwise arbitrary =20 "constraints" , of various nature: linguistic, syntactic, =20 combinatorial, and even topological. (One of the best known examples =20 is due to Georges Perec who managed to write a whole,and good, novel =20 without ever using the letter "e" which is by far the most frequently =20= used in French). Jacques Roubaud, a member since 1966, has invented dozens of such =20 constraints, some of them quite sophisticated, using e.g non trivial =20 groups of permutations or topology "a la" Moebius strip or Klein =20 bottle. He is world wide known as the author of more than a dozen =20 novels, many thousands poems, and one of the best specialists of the =20 sonnet. (For more details, you can consult Wikipedia, about two "items": =20 Oulipo, and Jacques Roubaud) 4.2. In all my life I have written only three joint papers. The =20 first was: ( El ? ) J.Benabou, J.Roubaud, Monades et descente 4.3. Oulipo has "swarmed" from literature to many other domains : =20 painting, music, photography,etc. New groups have been created, all =20 over the world, in these domains. And, to "remember their =20 filiation", they have chosen their name according to the following =20 "constraint " : Ou X po , i.e; three syllables, the first "Ou", the =20 last "po", the "X" in the central one being an abbreviation of the =20 name of their domain. e.g. in the domain of painting, "peinture" in =20 french, there has existed for almost 20 years now "Oupeintpo" as: =20 Ouvroir de peinture potentielle. Before formally adopting "Outypo", I have consulted my "expert", =20 J.Roubaud who confirmed that the name was correctly formed, and that =20 my constraints were genuinely of "oulipian" nature. 4.4. Easy "oulipian" questions (i) Complete the reference of our joint paper (ii) Why, and of whom is Jacques Roubaud a victim? (iii) What does "Outypo" stand for, and what are its constraints ?