adjunction (English, noun)
expansion: adjunction (countable and uncountable, plural adjunctions)
Senses:
glosses: The act of joining; the thing joined or added.
tags: countable
uncountable
topics: law
glosses: The joining of personal property owned by one to that owned by another.
tags: countable
uncountable
topics: algebra
mathematics
number-theory
sciences
glosses: The process of adjoining elements to an algebraic structure (usually a ring or field); the result of such a process.
tags: countable
uncountable
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: A relationship between a pair of categories that makes the pair, in a weak sense, equivalent.
tags: broadly
countable
uncountable
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
qualifier: strictly
glosses: 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.
tags: countable
uncountable
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
qualifier: strictly
glosses: 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.
A natural isomorphism Φ: operatorname Hom_( mathcal )C(G·,·)→ operatorname Hom_( mathcal )D(·,F·) (where the hom-functors are understood as bifunctors from 𝒟^( operatorname )op×𝒞 to mathbf Set). See Adjoint functors on Wikipedia.Wikipedia.
meronyms: adjoint
left adjoint
right adjoint
tags: countable
formal
uncountable
Forms:
form: adjunctions
tags: plural