opposite category

Definition

Let be a category, then the opposite category (denoted ) is the category where

• Objects are the same as , i.e.

• Morphisms are reversed, that is

The opposite category is an important construction to look at contravariant functors.