次のような右カン拡張があったとする。 ただし、 。 ここで、 が余単位元 を持った右カン拡張なら、 「 は右カン拡張を保存する」という。 これは も意味する。 定理 が左随伴 を持つとき、 は 上のすべての右カン拡張を保存する。 （証明） ここで、 を右に…