| |
| | Springer Online Reference Works |
 | | A category equipped with a Grothendieck topology, that is, with a structure of "coverings" which makes it possible to define the notion of a sheaf on the category. |
 | | The category of Abelian groups in a Grothendieck topos (equivalently, the category of sheaves of Abelian groups on a site) is a Grothendieck category, which makes it possible to define sheaf cohomology on a site; the cohomology groups |
 | | Subsequently, they have been found useful in other contexts, notably in the construction of models for synthetic differential geometry [a3], [a4]. |
| eom.springer.de /s/s085660.htm (506 words) |
|