A **dual equivalence**, or **antiequivalance**, between categories (or higher categories) $C$ and $D$ is simply an equivalence between one and the opposite category of the other. It is usually most convenient to think of the equivalence as going from $C^{op}$ to $D$, as with a contravariant functor in general.

Many examples of abstract duality involve dual equivalences.

Created on November 19, 2009 at 22:23:40. See the history of this page for a list of all contributions to it.