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 22:26:12 by Toby Bartels (173.60.119.197)