A dual equivalence, or antiequivalance, between categories (or higher categories) and 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 to , as with a contravariant functor in general.
Many examples of abstract duality involve dual equivalences.