ジャン・ジロー
A Grothendieck topos is a category "C" which satisfies any one of the following three properties. (A theorem of Jean Giraud states that the properties below are all equivalent.)