I will always remember and miss Benabou, he really understood category theory and the way of doing mathematics "a la Grothendieck". Eduardo Dubuc [For admin and other information see: http://www.mta.ca/~cat-dist/ ]