Significato embed

[process11]

Ciao! Sto leggendo per conto mio un pò di teoria sui fasci, e c'è una cosa che non riesco a capire.

dato un fascio di gruppi abeliani $F$ più volte trovo scritto

Embed $F$ in a flasque sheaf $G$

posso chiedere un chiarimento sul significato di questa frase? Grazie

[Studente Anonimo]

Embed vuol dire immergere, cioè mappare tramite un morfismo iniettivo o una opportuna versione categoriale di morfismo iniettivo (per esempio "monomorfismo" categoriale), nel tuo caso significa che sta costruendo un monomorfismo $F \to G$. Quanto a cosa significhi questo puoi vedere quando parla di morfismi di fasci e vedere cosa intende con monomorfismo (da quello che ricordo bastava controllare l'iniettività al livello degli stalk ma potrei sbagliarmi).