Adjunction
- adjunction - reducing an adjunction
- adjunction - sliced left adjoint
- adjunction - name the adjunction, not its components
- adjunction - multivariable adjunction
- adjunction - decategorifying multivariable adjunctions
- adjunction - graphical calculus for multivariable adjunctions
- collage of an adjunction
- adjunction - polycategory of multivariable adjunctions
- adjunction - the 2-polycategorical structure of multivariable adjoints
- adjunction - pseudomonoids of multivariable adjunctions are closed categories
- For any adjunction, the right adjoint is full and faithful if and only if the counit is an isomorphism.
- The components of the unit are monomorphisms if and only if the left adjoint functor is faithful.
Tags: category theory.