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)

2. The act of joining; the thing joined or added.
4. (law) The joining of personal property owned by one to that owned by another.
5. (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 $\mathbb {Q} (\pi )$ can be obtained from $\mathbb {Q}$ by adjoining $\pi$ to $\mathbb {Q}$.

6. (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

8. (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 ${\mathcal {C}}$ and ${\mathcal {D}}$ and (covariant) functors $F:{\mathcal {C}}\rightarrow {\mathcal {D}}$ and $G:{\mathcal {D}}\rightarrow {\mathcal {C}}$) A natural isomorphism $\Phi :\operatorname {Hom} _{\mathcal {C}}(G\cdot ,\cdot )\to \operatorname {Hom} _{\mathcal {D}}(\cdot ,F\cdot )$ (where the hom-functors are understood as bifunctors from ${\mathcal {D}}^{\operatorname {op} }\times {\mathcal {C}}$ to $\mathbf {Set}$). See Adjoint functors on Wikipedia.Wikipedia .

      Meronyms: adjoint, left adjoint, right adjoint

Derived terms

• biadjunction

 

Translations

the act of joining

• Polish: adiunkcja f
• Portuguese: adjunção f

the thing joined or added

a form of similarity between a pair of categories mapped to each other by dual morphisms

• Polish: adiunkcja f

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

• Bulgarian: ^{(please verify)} съединение (bg) (sǎedinenie)