意味

Kleisli categoryとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳圏論においてクライスリ圏（クライスリけん、英: Kleisli category）とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答をするにあたって導入した圏である。

Weblio英和対訳辞書での「Kleisli category」の意味

クライスリ圏

圏論においてクライスリ圏（クライスリけん、英: Kleisli category）とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答をするにあたって導入した圏である。

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

(T,\eta ,\mu )=(T:{\mathcal {C}}\rightarrow {\mathcal {C}},\ \eta :{\mbox{id}}_{\mathcal {C}}\rightarrow T,\ \mu :T^{2}\rightarrow T)

, consider a Kleisli category

{\mathcal {K}}

over that monad. Morphisms

{\tilde {f}}:A\rightarrow B

{\tilde {g}}:B\rightarrow C

, and

{\tilde {h}}={\tilde {g}}\circ {\tilde {f}}:A\rightarrow C

{\mathcal {K}}

correspond to morphisms

f:A\rightarrow TB

g:B\rightarrow TC

, and

h:A\rightarrow TC

{\mathcal {C}}

, respectively. The composition rule is

{\tilde {g}}\circ {\tilde {f}}={(\mu _{{\text{cod}}(g)}\circ Tg\circ f)}^{\sim }

. The Kleisli category shares the same objects as its underlying category. The morphisms of the Kleisli category (e.g.:

{\tilde {f}}

かつ

{\tilde {g}}

「Kleisli category」の意味に関連した用語

Kleisli categories Wiktionary英語版

クライスリ圏 英和対訳

意味

Kleisli categoryのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。

Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのKleisli category (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。