categories - Category Theory list
 help / color / mirror / Atom feed
From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
To: categories@mta.ca
Subject: a note on sources of my text of fibered categories
Date: Thu, 2 Oct 2014 09:37:29 +0200	[thread overview]
Message-ID: <E1XZfzk-0001J0-Ig@mlist.mta.ca> (raw)

> 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/ ]


             reply	other threads:[~2014-10-02  7:37 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-02  7:37 Thomas Streicher [this message]
2014-10-03 21:27 ` Ronnie Brown

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1XZfzk-0001J0-Ig@mlist.mta.ca \
    --to=streicher@mathematik.tu-darmstadt.de \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).