n-Comをn-コンピュータッドの圏だとする。Fn -| Vn : n-Com ←→ n-Cat をn次元のコムキャット随伴性だとする。この随伴性から導かれるn-Com上のモナドの台関手を Sn とする。コンピュータッドΣに対してSn(Σ)をS*と書く。上付きの星印をクリーネ／ストリート・…

まず、nLabのカン拡張項目： https://ncatlab.org/nlab/show/Kan+extension Proposition 2.8. Let C be a small category; D have all small limits. Then the right Kan extension of a functor F:C→D of locally small categories along a functor p:C→C' …