suprotna kategorija

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