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, cat i.e.

---

tidy | sembr | en