[mon-ad, moh-nad]
any simple, single-celled organism.
any of various small, flagellate, colorless ameboids with one to three flagella, especially of the genus Monas.
Chemistry. an element, atom, or group having a valence of one. Compare dyad ( def 3 ), triad ( def 2a ).
(in the metaphysics of Leibniz) an unextended, indivisible, and indestructible entity that is the basic or ultimate constituent of the universe and a microcosm of it.
(in the philosophy of Giordano Bruno) a basic and irreducible metaphysical unit that is spatially and psychically individuated.
any basic metaphysical entity, especially having an autonomous life.
a single unit or entity.

1605–15; < Late Latin monad- (stem of monas) < Greek (stem of monás): unity. See mon-, -ad1

monadic [muh-nad-ik] , monadical, monadal, adjective
monadically, adverb Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To monad
World English Dictionary
monad (ˈmɒnæd, ˈməʊ-)
n , -ads, -ades
1.  philosophy
 a.  any fundamental singular metaphysical entity, esp if autonomous
 b.  (in the metaphysics of Leibnitz) a simple indestructible nonspatial element regarded as the unit of which reality consists
 c.  (in the pantheistic philosophy of Giordano Bruno) a fundamental metaphysical unit that is spatially extended and psychically aware
2.  a single-celled organism, esp a flagellate protozoan
3.  an atom, ion, or radical with a valency of one
[C17: from Late Latin monas, from Greek: unit, from monos alone]

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
Word Origin & History

"unity, arithmetical unit," 1615, from L. monas (gen. monadis), from Gk. monas "unit," from monos "alone" (see mono-). In Leibnitz's philosophy, "an ultimate unit of being" (1748).
Online Etymology Dictionary, © 2010 Douglas Harper
Cite This Source
American Heritage
Medical Dictionary

monad mo·nad (mō'nād')

  1. An atom or a radical with a valence of 1.

  2. A single-celled microorganism, especially a protozoan of the genus Monas.

  3. Any of the four chromatids of a tetrad that, after the first and second meiotic divisions, separate to become the chromosomal material in each of the four daughter cells.

mo·nad'ic (mə-nād'ik) or mo·nad'i·cal adj.
The American Heritage® Stedman's Medical Dictionary
Copyright © 2002, 2001, 1995 by Houghton Mifflin Company. Published by Houghton Mifflin Company.
Cite This Source
Computing Dictionary

monad definition

theory, functional programming
/mo'nad/ A technique from category theory which has been adopted as a way of dealing with state in functional programming languages in such a way that the details of the state are hidden or abstracted out of code that merely passes it on unchanged.
A monad has three components: a means of augmenting an existing type, a means of creating a default value of this new type from a value of the original type, and a replacement for the basic application operator for the old type that works with the new type.
The alternative to passing state via a monad is to add an extra argument and return value to many functions which have no interest in that state. Monads can encapsulate state, side effects, exception handling, global data, etc. in a purely lazily functional way.
A monad can be expressed as the triple, (M, unitM, bindM) where M is a function on types and (using Haskell notation):
unitM :: a -> M a bindM :: M a -> (a -> M b) -> M b
I.e. unitM converts an ordinary value of type a in to monadic form and bindM applies a function to a monadic value after de-monadising it. E.g. a state transformer monad:
type S a = State -> (a, State) unitS a = \ s0 -> (a, s0) m `bindS` k = \ s0 -> let (a,s1) = m s0 in k a s1
Here unitS adds some initial state to an ordinary value and bindS applies function k to a value m. (`fun` is Haskell notation for using a function as an infix operator). Both m and k take a state as input and return a new state as part of their output. The construction
m `bindS` k
composes these two state transformers into one while also passing the value of m to k.
Monads are a powerful tool in functional programming. If a program is written using a monad to pass around a variable (like the state in the example above) then it is easy to change what is passed around simply by changing the monad. Only the parts of the program which deal directly with the quantity concerned need be altered, parts which merely pass it on unchanged will stay the same.
In functional programming, unitM is often called initM or returnM and bindM is called thenM. A third function, mapM is frequently defined in terms of then and return. This applies a given function to a list of monadic values, threading some variable (e.g. state) through the applications:
mapM :: (a -> M b) -> [a] -> M [b] mapM f [] = returnM [] mapM f (x:xs) = f x `thenM` ( \ x2 -> mapM f xs `thenM` ( \ xs2 -> returnM (x2 : xs2) ))
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Encyclopedia Britannica


(from Greek monas "unit"), an elementary individual substance that reflects the order of the world and from which material properties are derived. The term was first used by the Pythagoreans as the name of the beginning number of a series, from which all following numbers derived. Giordano Bruno in De monade, numero et figura liber (1591; "On the Monad, Number, and Figure") described three fundamental types: God, souls, and atoms. The idea of monads was popularized by Gottfried Wilhelm Leibniz in Monadologia (1714). In Leibniz's system of metaphysics, monads are basic substances that make up the universe but lack spatial extension and hence are immaterial. Each monad is a unique, indestructible, dynamic, soullike entity whose properties are a function of its perceptions and appetites. Monads have no true causal relation with other monads, but all are perfectly synchronized with each other by God in a preestablished harmony. The objects of the material world are simply appearances of collections of monads.

Learn more about monad with a free trial on

Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.
Cite This Source
Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature