カン拡張の注意

左右のカン拡張（カン持ち上げでも）大事なことは、関手としてのカン拡張だけではなくて、自然変換である単位（左のとき）、余単位（右のとき）も一緒に考えること！

左/右カン拡張の単位/余単位は、余/極限の余/錐に対応する。