最終更新日:2025/12/04
When teaching monads to undergraduates, professors often introduce the Kleisli category to illustrate how free T-algebras behave.
正解を見る
When teaching monads to undergraduates, professors often introduce the Kleisli category to illustrate how free T-algebras behave.
音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文
学部生にモナドを教える際、教授はしばしばクライスリ圏(任意のモナドに自然に対応し、自由なT代数の圏に同値な圏)を導入して、自由なT代数がどのように振る舞うかを示します。