noun
The act of joining; the thing joined or added.
(law) The joining of personal property owned by one to that owned by another.
(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.
(category theory, loosely) A relationship between a pair of categories that makes the pair, in a weak sense, equivalent.
(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.