adjunction
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
From Latin adjunctio, from adjungere: compare French adjonction, and see adjunct.
Noun[edit]
adjunction (countable and uncountable, plural adjunctions)
- The act of joining; the thing joined or added.
- (law) The joining of personal property owned by one to that owned by another.
- (category theory) Given a pair of categories and : an anti-parallel pair of functors and and a natural transformation called “unit” such that for any object , for any object , and for any morphism , there is a unique morphism such that .[1] (Note: there is another natural transformation called “counit” as well but its existence may be derived by theorem.) The pair of functors express a similarity between the pair of categories which is weaker than that of an equivalence of categories.
- Hyponyms: equivalence of categories, isomorphism of categories, Galois connection
- Meronyms: adjoint, left adjoint, right adjoint
Derived terms[edit]
Translations[edit]
the thing joined or added
a form of similarity between a pair of categories mapped to each other by dual morphisms
|
- The translations below need to be checked and inserted above into the appropriate translation tables. See instructions at Wiktionary:Entry layout § Translations.
Translations to be checked
|