Editing Monad (category theory) (section)

===Terminological history===
The notion of monad was invented by [[Roger Godement]] in 1958 under the name "standard construction". Monad has been called "dual standard construction", "triple", "monoid" and "triad".{{Sfn|MacLane|1978|p=138}} The term "monad" is used at latest 1967, by [[Jean Bénabou]].<ref>{{Cite book |last=Bénabou |first=Jean |title=Reports of the Midwest Category Seminar |chapter=Introduction to bicategories |date=1967 |editor-last=Bénabou |editor-first=J. |editor2-last=Davis |editor2-first=R. |editor3-last=Dold |editor3-first=A. |editor4-last=Isbell |editor4-first=J. |editor5-last=MacLane |editor5-first=S. |editor6-last=Oberst |editor6-first=U. |editor7-last=Roos |editor7-first=J. -E. |chapter-url=https://link.springer.com/chapter/10.1007/BFb0074299 |series=Lecture Notes in Mathematics |volume=47 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=1–77 |doi=10.1007/BFb0074299 |isbn=978-3-540-35545-8}}</ref><ref>{{Cite web |date=2009-04-04 |title=RE: Monads |url=http://article.gmane.org/gmane.science.mathematics.categories/225/ |url-status=dead |archive-url=https://web.archive.org/web/20150326175332/http://article.gmane.org/gmane.science.mathematics.categories/225/match= |archive-date=2015-03-26 |website=[[Gmane]]}}</ref>