Topos

La plupart des informations viennent de la page Topos - Citations de Grothenuls

Recouvrement

On se place dans un espace habituel, par exemple le plan, où on peut définir la notion d'ouvert.
On appelle B cet espace.
Si on a un ouvert U de B, un recouvrement de U est une famille Ui d'ouverts de B telle que la réunion des Ui donne U
Recouvrement d'un ouvert

Faisceaux

On a un deuxième espace, que l'on nomme E
On note FE(U) l'ensemble des applications continues de B dans E.
Application continue : si on fait subir une "transformation continue" à U (si U varie de manière infinitésimale), alors FE(U) varie aussi de manière continue. Faisceau