From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8346 Path: news.gmane.org!not-for-mail From: Thomas Streicher Newsgroups: gmane.science.mathematics.categories Subject: a note on sources of my text of fibered categories Date: Thu, 2 Oct 2014 09:37:29 +0200 Message-ID: Reply-To: Thomas Streicher NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1412254883 31822 80.91.229.3 (2 Oct 2014 13:01:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 2 Oct 2014 13:01:23 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Oct 02 15:01:18 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XZg0S-0004Ko-7n for gsmc-categories@m.gmane.org; Thu, 02 Oct 2014 15:01:16 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:58252) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XZfzk-00011k-OS; Thu, 02 Oct 2014 10:00:32 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XZfzk-0001J0-Ig for categories-list@mlist.mta.ca; Thu, 02 Oct 2014 10:00:32 -0300 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8346 Archived-At: > Renewed study of these ideas, in light of the later exposition by > Thomas Streicher, should lead to further applications (for example > to the solution of problems posed in my 1972 Perugia Notes.) Thanks for mentioning this text. But since I think ownership of ideas is an important issue I want to point out that the aim of this text was to exhibit part of the ideas and results of Jean B'enabou's almost single handed approach to Fibered Categories as a foundation of Category Theory over most general base categories. I also tried to explain some work by J.-L. Moens (his 1982 Thesis) where I think I have added a bit of additional material. As far as B'enabou's work is concerned my sources were Roisins notes from B'enabou's 1980 Louvain-la-Neuve lectures. My exposition evolved over the years and I have integrated additional material and made corrections as I learnt from Jean for which I am very grateful to him. At one place I have referred to a fibred version of the Special Adjoint Functor Theorem which one can find in Par'e and Schumacher's text or alternatively in J.Celeyrette's These d'Etat from 1974 under supervision of B'enabou. The references in my text are not exhaustive at all. It's certainly a mistake not to have formally referred to work by Grothendieck and Giraud. But I was not using too much these original sources. Moreover, I have used results from a paper by Mamuka Jibladze. I have not given the precise reference but made clear in the title of the appendix that it is Mamuka's result. The aim of these notes was not to document precisely who did what. However, on the first page I clearly stated whose work influenced me! I am also aware that in Bill's "Perugia Notes" one can find the idea that fibered or indexed categories are suitable for doing category theory over a base topos. But as I said it wasn't my intention to document the history of ideas but rather to write up the view of things as I learnt it from Jean's work and private communications. Thomas Streicher [For admin and other information see: http://www.mta.ca/~cat-dist/ ]