Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added result about underlying adjunction, and the example of Galois connection.
have renamed this page from “enriched adjunction” to “enriched adjoint functor” to better parallel our distinct entries adjoint functor and adjunction
added cross-link with strict adjoint 2-functor by briefly mentioning this as an example (here)
1 to 7 of 7