monad
monad
Definition
mo·nad (mō′nad′, män′ad′)
noun
- a unit; something simple and indivisible
- Biol.
- any simple, single-celled organism, specif., a simple type of flagellated protozoan or protist
- any of the four nuclei formed at the completion of meiosis
- Chem. a monovalent atom, element, or radical
- Philos. an entity or elementary being thought of as a microcosm or ultimate unit
Etymology: LL monas (gen. monadis) < Gr monas (gen. monados), a unit, unity < monos, alone: see mono-
adjective
of a monad or monads
monad
Usage Examples
Converse of object
- call: Below this first principle are a second one, which is also called the monad, and the indefinite dyad.
- use: It also uses monads for the user interface, although not in the underlying mechanism for defining circuits.
Adjective modifier
- strong: Every strong monad is equipped with two standard products, which correspond to left-to-right and right-to-left evaluation.
- equational: It is proved using a direct axiomatization of Kleisli categories of equational lifting monads.
- self-contained: If we were self-contained monads, we would not need any moral practice, since we would not care about anyone or anything else.
- parameterised: We present generalizations of both constructs, which we call parameterised monads and parameterised Freyd categories, that also capture computational effects with parameters.
Modifies a noun
- theory: At this stage the monad theory of consciousness is often relevant.
- transformer: We further give a theory of the commutative combination of effects, their tensor, which yields Moggi s side-effects monad transformer.
- class: For example, one of the axioms of the monad class is the Left unit law.
Noun used with modifier
- lifting: It is proved using a direct axiomatization of Kleisli categories of equational lifting monads.
