When were triples called monads for the first time? I am fine-tuning a short note on basic category theory; any such course must introduce monads, and I want to give a bit of history of the subject.
I soon realized that I don't know the precise series of events that led Mac Lane to create the name "monad" instead of the less creative "triple" or "standard construction". Did he coin the term, or did he simply advertize it?
The only reference I can find is a link at the nLab page.
 A: This is covered in this English.SE question. In short, people were not all very happy about the term "triple", and tried to come up with something better. Jean Bénabou suggested "monad" during lunch at a meeting in 1966, and it was quickly adopted; for example, it appears in the titles of Anders Kock's and Eduardo Dubuc's theses from 1967 and 1969 respectively, and the use of the term is alluded to in the Introduction of the "Seminar on triples and categorical homology theory" from 1969 and in Lawvere's "Ordinal sums and equational doctrines" from that volume. Peter May also convinced Mac Lane to use "monad" in his book, which helped to popularize the term.
A: P. T. Johnstone (who wrote several books on Topos Theory) gave a Category Theory lecture in which he said this was originally called 'the standard construction', then 'triples', and finally 'monads' -- but he provided the caveat that mathematicians in Montreal still adhere to the term 'triples', such that if you're in Montreal and want to discuss monads, you should probably bear this in mind.
