of the capability of Grothendieck topoi to incarnate the "essence" of different mathematical situations is given by their use as "bridges" for connecting theories which, albeit written in possibly very different languages, share a common mathematical content.

Equivalent definitions

A Grothendieck topos is a category which satisfies any one of the following three properties. (A theorem of Jean Giraud

1.Previous
3.Next