°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.
°# there are a pair of natural transformations and satisfying the following "triangle identities":.
°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.
°# there are a pair of natural transformations and satisfying the following "triangle identities":.