COMMENTAIRES SUR UN " OUTLINE " (2) C. Wells a recemment rendu public (et disponible par FTP, en ftp.cwru.edu, repertoire math/wells, fichier sketch.dvi) un texte intitule: " Sketches : Outline with References ". La version multigraphiee, du 6 juillet 1993, qui m'est parvenue necessite quelques commentaires ... En voici un deuxieme. Les PREMIERES esquisses de categories munies de choix de limites et colimites de "types" (i. e. de formes d'indexations) "varies" se trouvent en [Lair, 1970] et [Burroni, 1970]. Pour traiter de questions de monadicite que ces premieres esquisses ne permettaient pas de resoudre directement, d'autres esquisses pour ces memes categories (mais mieux adaptees) ont ete construites et tout aussi explicitement detaillees en [Lair, 1977] et [Lair, 1979] (voir aussi [Lair, 1975]). On y trouve egalement les esquisses de categories munies d'extensions de Kan a droite et a gauche de "types" (i. e. le long de foncteurs) "varies". L'Outline fait donc preuve d'une grande NEGLIGENCE en se limitant a signaler INGENUMENT (en son point 4.2, lignes 4 a 8) que : " Many types of categories with extra-structure ... can be sketched by an FL sketch ... These include categories with various types of canonically-chosen limits and colimits ... Some examples are in [Coppey and Lair, 1988], [Barr and Wells, 1985] ... and [Wells, 1990] ". REFERENCES (autres que celles figurant dans le Outline) [Lair, 1970] : C. Lair, Constructions d'esquisses et transformations naturelles generalisees, Esquisses Math. 2, Paris (1970). [Burroni, 1970] : A. Burroni, Esquisses des categories a limites et des quasi-topologies, Esquisses Math. 5, Paris (1970). [Lair, 1977] : C. Lair : These de Doctorat es Sciences, Amiens (1977). Christian LAIR ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
participants (1)
-
lair@frunip62.bitnet