equivalence of categories
Word Rarity
Rare
Frequency: Zipf frequency 3.14 in modern English
43
Scrabble Score
23
Letters
6
Syllables
15
Unique Chars
Meaning
noun
An adjunction whose unit and counit are both natural isomorphisms.
Example Sentences
- "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 defining feature of algebraic geometry is the remarkable fact that not only does the geometry determine the algebra, but conversely, the algebra determines the geometry. That is, given any finitely generated #92;mathbb#123;C#125;-algebra R without nilpotent elements, there exists an affine algebraic variety V, uniquely defined up to isomorphism, such that R is isomorphic to the coordinate ring of V. Moreover, any homomorphism between such #92;mathbb#123;C#125;-algebras uniquely defines a morphism of the corresponding varieties. In fancy language, there is an equivalence of categories between the category of affine algebraic varieties and finitely generated, reduced #92;mathbb#123;C#125;-algebras."
Inflected Forms
equivalences of categories (plural)