Examples
The rich set of examples is given by adjunctions (see Monads and adjunctions), and the free group example mentioned above belongs to that set. Another example, on the category : for a set let be the power set of and for a function let be the function between the power sets induced by taking direct images under . For every set, we have a map, which assigns to every the singleton . The function
in fact is union (arbitrary union, not finitary union). These data describe a monad.
Closure operators are monads on preorder categories.
Read more about this topic: Monad (category Theory)
Famous quotes containing the word examples:
“It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
—G.C. (Georg Christoph)
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (1896–1966)
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (1533–1592)