adjunction
suomi-englanti sanakirjaadjunction englannista suomeksi
liitos
Substantiivi
adjunction englanniksi
(senseid) The act of joining; the thing joined or added.
(senseid) The joining of property owned by one to that owned by another.
The process of adjoining elements to an structure (usually a ring or field); the result of such a process.
(ux)
A relationship between a pair of categories that makes the pair, in a weak sense, equivalent.
(hyponyms)
(senseid) A 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.
(''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 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 (pedia)''.
(meronyms)