"Operads" are like sets of operations. A monad is an extension of a functor. If the functor is the term functor, then the operations of the signature lies inside the functor, and the "operations" eta and mu are identities, or at least something very isomorphic to identities. In the filter functor eta is point filters and mu is Kowalsky's diagonalization. In my view there is no logic monoid => monad, and I cannot see the full idea behind using "operads", so help me Mona. Patrik On Thu, 2 Apr 2009, jim stasheff wrote:
Whereas my recollection (from those dear dim days beyond recall when I was present on a weekly basis for ND about that time) was that the terminology went from Mac Lane to May with operad to match monad
as I recall, Mac Lane liked monad because of the philosophical connection Leibniz as philosopher not as mathematician?
* Monad (Greek philosophy) a term used by ancient philosophers Pythagoras, Parmenides, Xenophanes, Plato, Aristotle, and Plotinus as a term for God or the first being, or the totality of all being. * Monism, the concept of "one essence" in the metaphysical and theological theory * Monad (Gnosticism), the most primal aspect of God in Gnosticism ****** Monadology, a book of philosophy by Gottfried Leibniz in which monads are a basic unit of perceptual reality * Monadologia Physica by Immanuel Kant * The Cup or Monad, a text in the Corpus Hermetica from the Wiki