- Noun. The act of joining; the thing joined or added.
- Noun. (category theory) A form of similarity between a pair of categories and which is weaker than equivalence, which in turn is weaker than isomorphism. Given functors and , ''F'' is "left adjoint" of ''G'', and ''G'' "right adjoint" of ''F'', denoted as , if .