クライスリ圏
計算機科学者のエウジニオ・モッジは、クライスリ圏の射をプログラム(program)に対応させる、すなわち射としてのプログラムが成す圏とはクライスリ圏であるとすることで表示的意味論にモジュール性を持たせることに成功した(モナドの理論)。
T A = A⊥(= A + { ⊥ })
ηA は A から A⊥ の中への包含(inclusion)
f : A -> T B であれば、f(⊥) = ⊥ 、f(a) = f(a) ただし、a ∈ A
クライスリ圏をなす計算概念としては以下の計算効果が挙げられる。