categories: Bourbaki's GAFT

[Oswald Wyler <owyler@suscom-maine.net>]

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