Equivalence of categories

Noun

Definitions

1.NounAn 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."

Synonyms

adjoint functor isomorphism adjunct identity morphism constant morphism coidentity coconstant morphism isomorphicity equivalence coequalizer equivalency coequaliser

🔗 Find words with "equivalence of categories" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.