最終更新日：2022/12/07

Kleisli category

正解を見る

(category theory) A category naturally associated to any monad T, and equivalent to the category of free T-algebras.

問題を編集する

元となった辞書の項目

Kleisli category

noun

(category theory) A category naturally associated to any monad T, and equivalent to the category of free T-algebras.

The Kleisli category is a category that extends a given category with a monad.

意味（1）

(category theory) A category naturally associated to any monad T, and equivalent to the category of free T-algebras.