equivalence of categories
Hello, you have come here looking for the meaning of the word equivalence of categories. In DICTIOUS you will not only get to know all the dictionary meanings for the word equivalence of categories, but we will also tell you about its etymology, its characteristics and you will know how to say equivalence of categories in singular and plural. Everything you need to know about the word equivalence of categories you have here. The definition of the word equivalence of categories will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofequivalence of categories, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
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.
- ©2000, Karen E. Smith with Lauri Kahanpää, Pekka Kekäläinen, and William Traves, edited by S. Axler, F.W. Gehring, and K.A. Ribet, An Invitation to Algebraic Geometry (Universitext), New York: Springer, →ISBN, →OCLC, §2.5, page 24:
- 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 -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 -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 -algebras.
