モナド誕生の流れが雑にこんな感じらしい

1961年周辺に複数人がモナドと随伴の関連に対する予想を立てる

1965年にSamuel EilenbergとJohn Coleman Mooreが1つ目の解を発表

1965年にHeinrich Kleisliが2つ目の解を発表

1972年にSaunders Mac Laneが「Triple」のことを「Monad」と呼ぶ

1961年周辺に複数人がモナドと随伴の関連に対する予想を立てる

Peter Jost Huberがモナドと随伴の関係性を指摘

ref Homotopy Theory in General Categories pdf

Peter John Hiltonも同じようなことを言っていたらしい ref

↑名前似すぎやろ

1965年にSamuel EilenbergとJohn Coleman Mooreが1つ目の解を発表

Eilenberg-Moore圏を証明

ここではモナドのことを「Triple」と呼んでいた

1965年にHeinrich Kleisliが2つ目の解を発表

Every standard construction is induced by a pair of adjoint functors pdf

クライスリ圏を導入

1972年にSaunders Mac Laneが「Triple」のことを「Monad」と呼ぶ

著書Categories for the Working Mathematicianの中で「Monad」と呼び、それが広まった

参考