Stetige Abbildung/Prägarbe/Rückzug/Definition

Zurückgezogene Prägarbe

Zu einer stetigen Abbildung

$\phi :X⟶Y$

und einer Prägarbe $𝒢$ auf $Y$ nennt man auf einer offenen Menge  $U\subseteq X$  durch

${\mathrm{colim}}_{𝒢\left(V\right)}V\subseteq Y,U\subseteq {\phi }^{-1}(V)$

gegebene Prägarbe auf $X$ die unter $\phi$ zurückgezogene Prägarbe.