kofunktor

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$ …