Bourbaki's GAFT

Bourbaki decided not to use categories in Elements de Mathematique (accents omitted because they can be disfigured in transit), but his Chapitre IV, Structures, of Theorie des Ensembles, published in 1957, has a decidedly categorical flavor. He defines applications universelles (universal maps) in full generality, and in Section 3.2, he gives a criterion for the existence of universal maps which, rewritten in categorical terms, becomes Freyd's GAFT, with the usual proof. Question: add Bourbaki's chapter to the Incunabula? Oswald Wyler 18-Jan-2002 08:32:20 -0400,2104;000000000000-00000000