Categorical properties of M-indiscernibility spaces

  • Authors:

  • Juan Lu;Sheng-Gang Li;Xiao-Fei Yang;Wen-Qing Fu

  • Affiliations:

  • College of Mathematics and Information Science, Shaanxi Normal University, 710062, Xian, China and Department of Mathematics, North University of China, 030051, Taiyuan, China;College of Mathematics and Information Science, Shaanxi Normal University, 710062, Xian, China;College of Mathematics and Information Science, Shaanxi Normal University, 710062, Xian, China;Department of Mathematics and Physics, Xian Technological University, 710032, Xian, China

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2011

Quantified Score

Hi-index 5.23

Visualization

Abstract

This paper discusses categorical aspect of the Pawlak rough set theory. It is proved that the category of all M-indiscernibility spaces and M-equivalence relation-preserving mappings between them is both a topological construct and a topos. As an application of these results, the notions of product M-indiscernibility space, sum M-indiscernibility space, quotient M-indiscernibility space, M-indiscernibility subspace, quotient mapping, and isomorphism mapping are defined, and structures of these M-indiscernibility spaces and mappings are also given.