up:: 027 MOC Category Theory Given a Category , its opposite category is defined as but with all morphisms flipped. That is, Properties Any theorem proved for a category will also be valid for its opposite category References