adjunction

From Wiktionary, the free dictionary
Archived revision by AugPi (talk | contribs) as of 16:33, 23 December 2019.
Jump to navigation Jump to search

English

English Wikipedia has an article on:
Wikipedia

Etymology

Lua error: The template Template:PIE root does not use the parameter(s):
2=yewg
Please see Module:checkparams for help with this warning.

(deprecated template usage)

From (deprecated template usage) [etyl] Latin adjunctio, from adjungere: compare (deprecated template usage) [etyl] French adjonction, and see adjunct.

Noun

adjunction (countable and uncountable, plural adjunctions)

  1. The act of joining; the thing joined or added.
  2. (law) The joining of personal property owned by one to that owned by another.
  3. (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

Translations

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

References

  1. ^ Michael Barr with Charles Wells (1995) Category Theory for Computing Science, second edition, University Press, Cambridge, Great Britain: Prentice Hall, →ISBN, §9.2, page 258