adjunction

English

Etymology

From Latin adjunctio, from adjungere: compare French adjonction, and see adjunct.

Pronunciation

  • Audio (US):(file)

Noun

adjunction (countable and uncountable, plural adjunctions)

  1. The act of joining; the thing joined or added.
  2. (mathematics, chiefly algebra and number theory) The process of adjoining elements to an algebraic structure (usually a ring or field); the result of such a process.
    The ring obtained after the adjunction of the elements a,b and y to the ring R may be denoted R[a,b,y].
    The field adjunction ℚ(π) can be obtained from ℚ by adjoining π to ℚ.
  3. (category theory, loosely) A relationship between a pair of categories that makes the pair, in a weak sense, equivalent.
    Hyponyms: equivalence of categories, isomorphism of categories, Galois connection
  4. (category theory, strictly) A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object.
    1. (formally, given two categories 𝒞 and 𝒟 and (covariant) functors F:𝒞→𝒟 and G:𝒟→𝒞) A natural isomorphism Φ:Hom𝒞(G⋅,⋅)→Hom𝒟(⋅,F⋅) (where the hom-functors are understood as bifunctors from 𝒟op×𝒞 to 𝐒𝐞𝐭). See Adjoint functors on Wikipedia.Wikipedia .
      Meronyms: adjoint, left adjoint, right adjoint

Derived terms

Translations

The translations below need to be checked and inserted above into the appropriate translation tables. See instructions at Wiktionary:Entry layout § Translations.