Search results- English - English

Keyword:

Kleisli

Kleisli categories

Noun

form-of plural

plural of Kleisli category

Japanese Meaning

「Kleisli category」の複数形。Kleisli圏とは、圏論において、特定のモナドから構成される圏のことである。

What is this buttons?

Researchers compared various Kleisli categories to understand how different monads affect program semantics.

Google Translation / DeepL Translation

研究者たちは、異なるモナドがプログラムの意味論にどのように影響するかを理解するために、複数のクライスリ圏を比較した。

Details

Kleisli category

Noun

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

Japanese Meaning

（圏論）任意のモナド T に自然に付随する圏であり、自由 T‐代数の圏に同値な圏。

What is this buttons?

When teaching monads to undergraduates, professors often introduce the Kleisli category to illustrate how free T-algebras behave.

Google Translation / DeepL Translation

学部生にモナドを教える際、教授はしばしばクライスリ圏（任意のモナドに自然に対応し、自由なT代数の圏に同値な圏）を導入して、自由なT代数がどのように振る舞うかを示します。

Details

Related Words

Kleisli categories

（ plural ）

Details

Search by Web