Hom funktor je kovariantní bifunktor v lokálně malé kategorii C {\displaystyle {\mathcal {C}}} typu C o p × × --> C → → --> S e t {\displaystyle {\mathcal {C}}^{op}\times {\mathcal {C}}\rightarrow \mathbf {Set} } definovaný pro A , B ∈ ∈ --> O b ( C ) {\displaystyle A,B\in \mathrm {Ob} ({\mathcal {C}})} takto:
H o m ( A , − − --> ) {\displaystyle Hom(A,-)} je kovariantní a pro X , Y ∈ ∈ --> O b ( C ) , f : X → → --> Y {\displaystyle X,Y\in \mathrm {Ob} ({\mathcal {C}}),f:X\rightarrow Y} je H o m ( A , f ) {\displaystyle Hom(A,f)} funkce H o m ( A , f ) : H o m ( A , X ) → → --> H o m ( A , Y ) , H o m ( A , f ) ( g ) = f ∘ ∘ --> g {\displaystyle Hom(A,f):Hom(A,X)\rightarrow Hom(A,Y),Hom(A,f)(g)=f\circ g} , kde g ∈ ∈ --> H o m ( A , X ) {\displaystyle g\in Hom(A,X)} .
Podobně H o m ( − − --> , B ) {\displaystyle Hom(-,B)} je kontravariantní a pro X , Y ∈ ∈ --> O b ( C ) , h : X → → --> Y {\displaystyle X,Y\in \mathrm {Ob} ({\mathcal {C}}),h:X\rightarrow Y} je H o m ( h , B ) {\displaystyle Hom(h,B)} funkce H o m ( h , B ) : H o m ( Y , B ) → → --> H o m ( X , B ) , H o m ( h , B ) ( g ) = g ∘ ∘ --> h {\displaystyle Hom(h,B):Hom(Y,B)\rightarrow Hom(X,B),Hom(h,B)(g)=g\circ h} , kde g ∈ ∈ --> H o m ( Y , B ) {\displaystyle g\in Hom(Y,B)} .
H o m ( − − --> , − − --> ) {\displaystyle Hom(-,-)} je tedy kovariantní bifunktor C o p × × --> C → → --> S e t {\displaystyle {\mathcal {C}}^{\mathrm {op} }\times {\mathcal {C}}\rightarrow \mathbf {Set} } .
typu 
definovaný pro 
takto:
je kovariantní a pro 
je 
funkce 
, kde 
.
je kontravariantní a pro 
je 
funkce 
, kde 
.
je tedy kovariantní bifunktor 
.