「左随伴関手は左カン拡張を保存する」で、左随伴関手が左カン拡張とうまく協調することを述べました。一般に、左随伴関手や右随伴関手は良い性質を持ちます。この記事では、お馴染みで簡単な2-圏である関係の2-圏 $`{\bf Rel}`$ において左随伴関手相当の1-…