Entries from 2019-10-14 to 1 day

Kleisli圏の単位律と結合律

西郷 甲矢人 (著), 能美 十三 (著) 圏論の道案内 ~矢印でえがく数学の世界~ (数学への招待シリーズ) の「第9章モナド」で、モナドから随伴を作るときにKleisli圏という圏が登場した。 この記事では、Kleisli圏の単位律と結合律についてまとめてみる。 まず、…