Beck, Benabou-Roubaud, etc.

Beck, Benabou-Roubaud, etc.

[Marta Bunge]

Dear colleagues,

You can find in the following site
http://www.math.mcgill.ca/bunge/abstracts.ps
the abstracts of the Oberwolfach Meeting on Descent from 1995.

Look in particular at the abstract for Jack Duskin's lecture on "Triples and
Descent". In it, Jack gives as a corollary to the main theorem what he calls
"the Benabou-Roubaud-Beck theorem". Jack mentions that the theorems exposed
in that lecture were part of a thesis project of his student M. Alsani.

There seems to be a precedent in print then in adding Beck's name to this
theorem, unlike what I previously thought.  Other authors (like Claudio
Hermida) refer to it as "the Beck-Benabou-Roubaud theorem". This, added to
the recollections by Ross Street and Bill Lawvere, seem to contradict my
previous contention (from lack of evidence) that the theorem is exclusively
due to Benabou and Roubaud. It seems now clear that Jon Beck must have had
it (independently) too, which of course is not at all surprising.


With best wishes,
Marta




************************************************
Marta Bunge
Professor Emerita
Dept of Mathematics and Statistics
McGill University
805 Sherbrooke St. West
Montreal, QC, Canada H3A 2K6
Office: (514) 398-3810
Home: (514) 935-3618
marta.bunge@mcgill.ca
http://www.math.mcgill.ca/~bunge/
************************************************


I found the abstract of Jack Duskin's lecture at the Oberwolfach meeting on
Descent, 1995.



************************************************
Marta Bunge
Professor Emerita
Dept of Mathematics and Statistics
McGill University
805 Sherbrooke St. West
Montreal, QC, Canada H3A 2K6
Office: (514) 398-3810
Home: (514) 935-3618
marta.bunge@mcgill.ca
http://www.math.mcgill.ca/~bunge/
************************************************

_________________________________________________________________
Gear up with the exclusive HALO 3 theme back for Windows Live Messenger.
http://entertainment.sympatico.msn.ca/WindowsLiveMessenger/halo3.aspx