uređeni par $(F_0, F_1)$ za zadane kategorije $C$ i $D$, pri čemu je $F_0$ preslikavanje iz klase objekata $C$ u klasu objekata u $D$, $F_1$ preslikavanje iz klase morfizama $C$ u klasu morfizama u $D$, takvo da je $\mathrm{dom}F_1(g) = F_0(\mathrm{cod}g)$, $\mathrm{cod}F_1(g) = F_0(\mathrm{dom} g)$ za svaki morfizam $g$ u $C$, te vrijedi $F_1(g\circ f) = F_1(f) \circ F_1(g)$ za svaki kompozabilni par morfizama $(g,f)$ u $C$, i $F_1(\mathrm{id}_x) = \mathrm{id}_{F_0(x)}$ za svaki objekt $x$ u $C$
uređeni par $(F_0, F_1)$ za zadane kategorije $C$ i $D$, pri čemu je $F_0$ preslikavanje iz klase objekata $C$ u klasu objekata u $D$, $F_1$ preslikavanje iz klase morfizama $C$ u klasu morfizama u $D$, takvo da je $\mathrm{dom}F_1(g) = F_0(\mathrm{cod}g)$, $\mathrm{cod}F_1(g) = F_0(\mathrm{dom} g)$ za svaki morfizam $g$ u $C$, te vrijedi $F_1(g\circ f) = F_1(f) \circ F_1(g)$ za svaki kompozabilni par morfizama $(g,f)$ u $C$, i $F_1(\mathrm{id}_x) = \mathrm{id}_{F_0(x)}$ za svaki objekt $x$ u $C$
Rod: muški
Vrsta riječi: imenica
U suvremenijoj literaturi obično se pojam kofunktora iz kategorije $C$ u kategoriju $D$ i ne uvodi, nego se zamjenjuje ekvivalentnim pojmom funktora iz suprotne kategorije $C^{\mathrm{op}}$ u $D$.