It is also often called the *opposite category*. Examples come from reversing the direction of inequalities in a partial order. In logic, this then looks like a very general description of negation (that is, proofs run in the opposite direction). Inverse limits and direct limits are interchanged. One way in which the concept is used is to remove the distinction between covariant and contravariant functors: a contravariant functor to is equally a functor to the opposite of .

In some cases one can identify the opposite category: for example the category of affine schemes is the opposite of the category of commutative rings. The Pontryagin duality restricts to the duality between the category of compact Hausdorff abelian topological groups and that of (discrete) abelian groups. The category of Stone spaces and continuous functions is the opposite of the category of Boolean algebras and homomorphisms.

*This article is a stub. You can help Wikipedia by fixing it.*