°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,167 times.
Still working on your text?
Finding the right words is only half the battle. If your website isn't turning visitors into customers, we'll show you exactly why.
°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":.