Definition. Opposite Category [006E]

For a category , the opposite category is given by the same objects and morhpisms as in , where every morphism in is defined to have opposite domain and codomain compared to the corresponding morphism in . For each object , serves as the identity in

We define composition to be . Observe that and are precisely composable when and are composable.