「左随伴関手は左カン拡張を保存する」で、左随伴関手が左カン拡張とうまく協調することを述べました。一般に、左随伴関手や右随伴関手は良い性質を持ちます。 この記事では、お馴染みで簡単な2-圏である関係の2-圏 $`{\bf Rel}`$ において左随伴関手相当の1-射が何であるかを調べてみます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\msc}[1]{ \mathscr{#1} } \newcommand{\dimU}[2]{{#1}\!\updownarrow^{#2}} \newcommand{\twoto}{\Rightarrow } \newcommand{\Imp}{\Rightarrow } \newcommand{\cat}[1]{\mathcal{#1}}`$
![左随伴関係は関数 - 檜山正幸のキマイラ飼育記 (はてなBlog)](https://cdn-ak-scissors.b.st-hatena.com/image/square/e1e3faf4e6216eb0ac8b7aeb7cbc9e90d2aff78d/height=288;version=1;width=512/https%3A%2F%2Fwww.chimaira.org%2Fimg7%2Fcomposed-adjunction.png)