For those familiar with (covariant) Galois connections, you may have noticed that they can be viewed as categorical adjunctions. A *Galois connection* is a pair of maps between posets $X$ and $Y$
$$ f\_{\bullet}: X \rightleftharpoons Y: f^{\bullet}$$
such that $f\_{\bullet} x \preceq y$ if and only if $x \preceq f^{\bullet} y$.
If we view $X$ and $Y$ as small categories, then order-preserving maps are simply functors between such categories as
$$Hom(f\_\bullet x, y) \cong Hom(x, f^\bullet y)$$
is equivalent to the condition above (naturality is trivial).


In the case of posets, there is an explicit formula to calculate the right adjoint from the left adjoint if one exists (sim. left adjoint from right adjoint).


You can check that
$$f^\bullet (y) = \bigvee f\_{\bullet}^{-1}(\downarrow y)$$
is a right adjoint (if $f\_\bullet$ preserves joins I believe??).


Now here is my question: *Are there other areas of mathematics or other examples where an explicit formula for a right adjoint in terms of the left adjoint appears?*


References most welcome. Thanks!



A formula for a right adjoint in terms of a left
Just so that it is recorded here as an answer, here's the formula from the "naive" adjoint functor theorem that directly generalizes the one given in the post for posets:


$$f^\bullet(y) = \lim\_{(x,\alpha)\in (f\_\bullet \downarrow y)} x$$


where the limit is over the comma category $(f\_\bullet \downarrow y)$, whose objects are pairs of $x\in X$ with $\alpha:f\_\bullet(x)\to y$.


The subtlety in adjoint functor theorems comes from the fact that this comma category is of the same "size" as the categories $X$ and $Y$, while non-poset categories rarely have limits of the same size as themselves. Thus, the adjoint functor theorems used in practice impose various technical conditions enabling this limit to be replaced by a smaller one; see e.g. the [nlab article](https://ncatlab.org/nlab/show/adjoint+functor+theorem) for details.


