ちゃんと定義（Cartesian effect categories are Freyd-categories より） A Freyd-category is an identityon-objects functor J : C → K where the category C has finite products, the category K is symmetric premonoidal and the functor J is strict…

L:C→C を自己関手として、D(A, B) := C(L(A), L(B)) として圏Dを定義する。これをLで修飾された（あるいはシフトされた）Cと考える。自己関手と自然変換も同様にL修飾を考えて、結果的にモナドをL修飾する。[追記 date="翌日"]ちょっと違うかも。[/追記]