This is an old revision of the document!
Opposite category
Category
| context | ${\bf C}$ … category |
| definiendum | ${\bf C}^\mathrm{op}$ |
| definition | $\mathrm{Ob}_{{\bf C}^\mathrm{op}}:=\mathrm{Ob}_{\bf C} $ |
| definition | ${\bf C}^\mathrm{op}[A,B]:={\bf C}[B,A]$ |
| definition | $f\circ_{{\bf C}^\mathrm{op}}g:=g\circ_{{\bf C}}f$ |
Discussion
Reference
Wikipedia: Opposite category
Parents
Context*
Element of
