更新时间：2022-09-22 14:22
反变Hom函子是范畴论中的一种函子。
反变Hom函子(contravariant func-for Hom in category theory)亦称反变态射函子或第二表示函子，是范畴论中的重要函子之一，也是同调代数中最基本的函子之一。
对左R模B，可定义为反变Hom函子；对右R模A，可定义为反变Hom函子。
设C为有小态射集的范畴，对C中每个对象a，有反变Hom函子
C(-,b)=hom(-,b):Cop→Set
给定C中对象a，给出态射集hom(a,b)，
给定C中态射g:a→a'，给出映射g*=hom(g,b):hom(a',b)→hom(a,b)，定义为对f∈hom(a,b)，有。
反变Hom函子为左正合函子。