Es sei ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} ein beringter Raum und seien M {\displaystyle {}{\mathcal {M}}} und N {\displaystyle {}{\mathcal {N}}} Modulgarben auf X {\displaystyle {}X} .
Dann ist die Homomorphismengarbe H o m ( M , N ) {\displaystyle {}{{\mathcal {H}}om}{\left({\mathcal {M}},{\mathcal {N}}\right)}} eine O X {\displaystyle {}{\mathcal {O}}_{X}} -Modulgarbe auf X {\displaystyle {}X} .
