From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8253 Path: news.gmane.org!not-for-mail From: "George Janelidze" Newsgroups: gmane.science.mathematics.categories Subject: Re: A brief survey of cartesian functors Date: Tue, 29 Jul 2014 09:02:18 +0200 Message-ID: References: <1B862C69106C4B6A83703605D3E6A693@ACERi3> Reply-To: "George Janelidze" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset="iso-8859-1"; reply-type=original Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1406682314 30151 80.91.229.3 (30 Jul 2014 01:05:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 30 Jul 2014 01:05:14 +0000 (UTC) Cc: "Categories" To: =?iso-8859-1?Q?Jean_B=E9nabou?= Original-X-From: majordomo@mlist.mta.ca Wed Jul 30 03:05:08 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XCIKJ-0006zg-Rd for gsmc-categories@m.gmane.org; Wed, 30 Jul 2014 03:05:08 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:49082) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XCIJz-00054s-6R; Tue, 29 Jul 2014 22:04:47 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XCIJz-0007wq-Pj for categories-list@mlist.mta.ca; Tue, 29 Jul 2014 22:04:47 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8253 Archived-At: Dear Jean, Talking about the comparison, I had in mind mainly the following: the vertical-cartesian factorization for a fibration is closely related to the reflective factorization system for a semi-left-exact reflection (one might vaguely say "they are the same up to an isomorphism under the assumptions used in both of them"). Concerning the older discussion on fibrations versus indexed categories: Please believe me that I fully agree with every instance of "fibrations are better" you mention. Nevertheless I also agree with "indexed categories are better", in a different sense. The reason I am saying this now is that I would like to mention semi-left-exact reflections of Cassidy--Hebert--Kelly and their generalizations as a THIRD APPROACH (I used them independently calling them "admissible" in Galois theory, first exactly in 1984). Best regards, George -------------------------------------------------- From: "Jean B?nabou" Sent: Monday, July 28, 2014 1:58 PM To: "George Janelidze" Cc: "Ross Street" ; "Steve Vickers" ; "Lack Steve" ; "Peter Johnstone" ; "Eduardo Dubuc" ; "Thomas Streicher" ; "Robert Par?" ; "Marta Bunge" ; "William Lawvere" ; "Michael Wright" ; "Categories" Subject: Re: A brief survey of cartesian functors > Dear George, > > As i mentioned in my mail, it took me many years to develop foliated > categories AND cartesian functors to their full extent. The very first > approach starts circa 1984 when I had proved important results on > cartesian functors between fibered categories and started wondering about > possible generalizations. > Thank you for sending me the paper of Cassidy, Herbert and Kelly which I > do not know. I shall look at it carefully, but I doubt very much that it > will have ANYTHING to do with foliated categories, let alone cartesian > functors which are the essential content of my mail. > I shall explain why after I have read the paper you are sending me. > > Best regards to all, > Jean > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]