nLab dual equivalence

A dual equivalence, or antiequivalance, between categories (or higher categories) CC and DD 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 opC^{op} to DD, 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.