Idea. The 2-category Adj is the free adjunction (walking adjunction). A 2-functor Adj→K is an adjunction in the 2-category K. These 2-functors form one ...
確定! 回上一頁