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

Zurückgezogene Prägarbe

Zu einer stetigen Abbildung

$\varphi \colon X\longrightarrow Y$

und einer Prägarbe ${}{\mathcal {G}}$ auf ${}Y$ nennt man auf einer offenen Menge ${}U\subseteq X$ durch

$\operatorname {colim} _{{\mathcal {G}}{\left(V\right)}}\,V\subseteq Y,\,U\subseteq \varphi ^{-1}(V)$

gegebene Prägarbe auf ${}X$ die unter ${}\varphi$ zurückgezogene Prägarbe.