| Revision as of 14:43, 5 August 2009 editPcap (talk | contribs)Pending changes reviewers, Rollbackers18,285 edits concept stub | Revision as of 04:31, 7 August 2009 edit undoMichael Hardy (talk | contribs)Administrators210,289 edits You can't expect the lay reader to know what "order theory" is, especially considering that "order'" is a word that admits a very large number of different senses.Next edit → | ||
| Line 1: | Line 1: | ||
| In ] a '''projection operator''' (or simply '''projection''') is a self-map on a ] that is ] and ] under ]. Projections play an important role in ]. | In the area of mathematics known as ], a '''projection operator''' (or simply '''projection''') is a self-map on a ] that is ] and ] under ]. Projections play an important role in ]. | ||
| == References == | == References == | ||
Revision as of 04:31, 7 August 2009
In the area of mathematics known as order theory, a projection operator (or simply projection) is a self-map on a partially ordered set that is monotone and idempotent under function composition. Projections play an important role in domain theory.
References
- G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott: Continuous Lattices and Domains, Cambridge University Press, 2003, p. 11
 | This mathematics-related article is a stub. You can help Misplaced Pages by expanding it. |