°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":.
History
This word has been viewed 1,163 times.
Know someone who needs a better website?
Refer them to Next Wave Services. If they become a client, your next coffee is on us.
°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":.