Categories of Direlations and Rough Set Approximation Operators


Diker M.

7th International Conference on Rough Sets and Current Trends in Computing, Warszawa, Poland, 28 - 30 June 2010, vol.6086, pp.287-296 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 6086
  • Doi Number: 10.1007/978-3-642-13529-3_31
  • City: Warszawa
  • Country: Poland
  • Page Numbers: pp.287-296

Abstract

In this paper, we define a category R-APR whose objects are sets and morphisms are the pairs of rough set approximation operators. We show that R-APR is isomorphic to a full subcategory of the category cdrTex whose objects are complemented textures and morphisrns are complemented direlations. Therefore, cdrTex may be regarded as an abstract model for the study of rough set theory. On the other hand, dagger symmetric monoidal categories play a central role in the abstract quantum mechanics. Here, we show that R-APR and cdrTex are also dagger symmetric monoidal categories.