equivalence of categories

Noun

 * 1)  An adjunction whose unit and counit are both natural isomorphisms.
 * There is an equivalence of categories between the category of simply typed lambda calculi and the category of cartesian closed categories; this was shown by Lambek and Scott.