YoshikuniJujo · 7w

「モナドとは自己関手の圏におけるモノイド対象である」ということがわかった。