Last Updated :2025/12/04

Kleisli category

Noun
Japanese Meaning
(圏論)任意のモナド T に自然に付随する圏であり、自由 T‐代数の圏に同値な圏。
What is this buttons?

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

plural

Quizzes for review

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

音声機能が動作しない場合はこちらをご確認ください
See correct answer

Kleisli category

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

See correct answer

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

音声機能が動作しない場合はこちらをご確認ください

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★