Hom函子

Hom函子(functor Hom)是模範疇間最重要的函子之一。

對左A模M,N，模同態全Hom函子(functor Hom)模範疇間最重要的函子之一體HomA (M,N)是一個加群，若M是一個左A右B雙模，d 6EB, f E Homy <M, N)，二EM，規定bf}:x}f}<xh)，則Hom,, (M, N)是一個左B模;若g:N}N,是左A同態，則左B模Hom,, (M, N)與Hom},(M,N,)間的映射Hom‑<M,g):f-'gf(也記g} -Hom‑(M,g))是左B模同態，於是，得到一個共變函子