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) (informally) A relationship between a pair of categories that makes the pair, in a weak sense, equivalent. (formally) said to be between two categories and . A pair of (covariant) functors and together with a natural isomorphism (where the functors are understood as bifunctors from to ); any of several equivalent definitions which express the same relationship (see
Adjoint functors on Wikipedia.Wikipedia ). In this case is called right adjoint to , and is called left adjoint to ; in notation, the relationship is denoted ; both functors are called adjoint functors.
- 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
|