Adjunctionからのmonad - PS を一般化する。 Adjunction-associated monoidal functor (と呼んでいいと思う) Adjunction: について は monoidal functor: になる。 Monad sandwich Monoid lifting により functor: を作ることが出来る。 State monad transfo…

0-category 集合のこと。その要素を object と言うことにする。 0-funtor 関数のこと。 n-category 再帰的に定義する。-category とは class: (objects) -category の族: -functor の族: (composition) -functor の族: (units) からなる代数的構造で (associ…