adjunction

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]
English Wikipedia has an article on:
Wikipedia

Etymology

[edit]

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

Noun

[edit]

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 and to the ring may be denoted .
    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 and ) A natural isomorphism (where the hom-functors are understood as bifunctors from to ). See Adjoint functors on Wikipedia.Wikipedia .
      Meronyms: adjoint, left adjoint, right adjoint

Derived terms

[edit]

Translations

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

References

[edit]