"adjunction" vertimas į lietuvių

(category theory) A form of similarity between a pair of categories \mathcal{C} and \mathcal{D} which is weaker than equivalence, which in turn is weaker than isomorphism. Given functors F:\mathcal{C} \rightarrow \mathcal{D} and G:\mathcal{D} \rightarrow \mathcal{C} , F is "left adjoint" of G , and G "right adjoint" of F , denoted as F \dashv G , if [..]