Noun
equivalence of categories (plural equivalences of categories)
(category theory) 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.