kategorija $C^{\mathrm{op}}$ čija se klasa objekata sastoji od točno jedne kopije $x^{\mathrm{op}}$ svakoga objekta $x$ početne kategorije $C$, morfizmi $f:a\to b$ u $C$ su u bijekciji s morfizmima $f^{\mathrm{op}}:b^{\mathrm{op}}\to a^{\mathrm{op}}$, pri čemu je $\mathrm{id}_{x^{\mathrm{op}}}=(\mathrm{id}_x)^{\mathrm{op}}$ i kompozicija je zadana formulom $f^{\mathrm{op}}\circ g^{\mathrm{op}} = (g \circ f)^{\mathrm{op}}$ za svaki kompozabilni par morfizama $(g,f)$ u $C$
kategorija $C^{\mathrm{op}}$ čija se klasa objekata sastoji od točno jedne kopije $x^{\mathrm{op}}$ svakoga objekta $x$ početne kategorije $C$, morfizmi $f:a\to b$ u $C$ su u bijekciji s morfizmima $f^{\mathrm{op}}:b^{\mathrm{op}}\to a^{\mathrm{op}}$, pri čemu je $\mathrm{id}_{x^{\mathrm{op}}}=(\mathrm{id}_x)^{\mathrm{op}}$ i kompozicija je zadana formulom $f^{\mathrm{op}}\circ g^{\mathrm{op}} = (g \circ f)^{\mathrm{op}}$ za svaki kompozabilni par morfizama $(g,f)$ u $C$
Rod: nema
Vrsta riječi: višerječni naziv