equivalence of categories
equivalence of categories noun: an adjunction whose unit and counit are both natural isomorphisms.
Noun
equivalence of categories (plural equivalences of categories)
- 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 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...©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...
Forms of equivalence of categories
| plural | equivalences of categories |
|---|
Questions about equivalence of categories
- What does equivalence of categories mean?
- Equivalence of categories means an adjunction whose unit and counit are both natural isomorphisms.
- What part of speech is equivalence of categories?
- Equivalence of categories is a noun.
- What is the plural of equivalence of categories?
- The plural of equivalence of categories is equivalences of categories.
Words near equivalence of categories in the dictionary
Source and license
Adapted from Wiktionary: equivalence of categories (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “equivalence of categories.” Word.ws, https://word.ws/equivalence_of_categories. Based on Wiktionary, CC BY-SA 4.0.