Traditionally, rough sets build upon relations based on ordinary sets, i.e. relations on X as subsets of X × X. A starting point of this paper is the equivalent view on relations as mappings from X to the (ordinary) power set P X. Categorically, P is a set functor, and even more so, it can in fact be extended to a monad (P, η, μ). This is still not enough and we need to consider the partial order (PX, ≤). Given this partial order, the ordinary power set monad can be extended to a partially ordered monad. The partially ordered ordinary power set monad turns out to contain sufficient structure in order to provide rough set operations. However, the motivation of this paper goes far beyond ordinary relations as we show how more general power sets, i.e. partially ordered monads built upon a wide range of set functors, can be used to provide what we call rough monads. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Eklund, P., & Galán, M. A. (2006). Monads can be rough. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4259 LNAI, pp. 77–84). Springer Verlag. https://doi.org/10.1007/11908029_9
Mendeley helps you to discover research relevant for your work.