# nLab local adjunction

Let $\mathscr{A}$ and $\mathscr{B}$ be bicategories. A local adjunction between $\mathscr{A}$ and $\mathscr{B}$ comprises lax functors $L \colon \mathscr{A} \to \mathscr{B}$ and $R \colon \mathscr{B} \to \mathscr{A}$ and a family of adjunctions $\mathscr{B}(L A, B) \rightleftarrows \mathscr{A}(A, R B)$ natural in $A$ and $B$.

## References

Local adjunctions are defined in:

Colin Barry Jay?. Local adjunctions. Journal of Pure and Applied Algebra 53.3 (1988): 227-238.

Created on October 19, 2022 at 17:35:44. See the history of this page for a list of all contributions to it.