Associated monad with an adjunction Adjunction : left adjoint right adjoint counit unit について、 とすると、 endofunctor unit multiplication *1 はmonadになる。 State monads from currying 特に、 のとき、adjunction: から上記の方法で作ったmo…

Domain restriction subcategory functor について、functor: を定義できる。 Full subcategory Full inclusion functorのdomainのこと。 命題 subcategory について、 Codomain restriction full subcategory functor について、 を満たすとき、functor: を…

前提 setはclass classの要素はset よってsetの要素もset Small class Setのこと。Small setともいう。 Large class Setではないclassのこと。Proper classともいう。 Axiom of replacement small class class function について はsmall class 命題 特に、 …