Category

Opposite category

Let be a category. The opposite category is the category with the same objects as but whose morphisms have the domain and codomain swapped, #m/def/cat i.e.

#state/tidy | #SemBr | #lang/en