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