equivalence of categories
nounDefinitions
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.
The neighborhood
Vish — recursive loop
No curated loop yet for equivalence of categories. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA