Given strict 2-categories, and , and strict 2-functors and , a strict 2-adjunction is given one of the following two equivalent means:
an isomorphism of categories for each object in and object in , which is strict 2-natural both in and in ;
a strict 2-natural 2-transformations of 2-functors unit , and counit , satisfying the triangle identities strictly.
There are more relaxed forms of 2-adjunctions, namely the pseudoadjunctions and biadjunctions, both of which can be considered for 2-functors of either strict or weak 2-categories.
Created on September 29, 2010 14:52:31
by Zoran Škoda