二元函子

二元函子(bifunctor)是范畴论以及同调代数、代数几何等学科中常用的函子。若C1，C2，C为三个范畴，则从C1，C2的积范畴C1∏C2到C的函子称为二元函子，同调代数中最重要的Hom函子等都是二元函子。