设 $X$ 是一个概形，$\scrF,\scrG$ 是两个 $\calO_X$ 模层。那么$\scrF|_U, \scrG|_U$ 是 $\calO_X|_U$ 模。 所以我们定义预层 $$U \mapsto \mathrm{Hom}_{\calO_{X|U}} (\scrF|_U, \scrG|_U),$$
这也是一个层，称为 Hom 层，一般记为 $\mathscr{H}om_{\calO_X}(\scrF,\scrG)$.
这也是一个层，称为 Hom 层，一般记为 $\mathscr{H}om_{\calO_X}(\scrF,\scrG)$.