Kleisli（（圏論）任意のモナド T に自然）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

Kleisli

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

日本語の意味

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

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

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

活用形複数形

plural of Kleisli category

日本語の意味

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

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

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

Webで検索する