Double approximation and complete lattices

Taichi Haruna, Yukio Pegio Gunji

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

A representation theorem for complete lattices by double approximation systems proved in [Gunji, Y.-P., Haruna, T., submitted] is analyzed in terms of category theory. A double approximation system consists of two equivalence relations on a set. One equivalence relation defines the lower approximation and the other defines the upper approximation. It is proved that the representation theorem can be extended to an equivalence of categories.

Original languageEnglish
Title of host publicationRough Sets and Knowledge Technology - 4th International Conference, RSKT 2009, Proceedings
Pages52-59
Number of pages8
DOIs
Publication statusPublished - 2009 Aug 27
Externally publishedYes
Event4th International Conference on Rough Sets and Knowledge Technology, RSKT 2009 - Gold Coast, QLD, Australia
Duration: 2009 Jul 142009 Jul 16

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5589 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Conference on Rough Sets and Knowledge Technology, RSKT 2009
CountryAustralia
CityGold Coast, QLD
Period09/7/1409/7/16

Keywords

  • Complete lattices
  • Equivalence of categories
  • Representation theorem
  • Rough sets

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Double approximation and complete lattices'. Together they form a unique fingerprint.

  • Cite this

    Haruna, T., & Gunji, Y. P. (2009). Double approximation and complete lattices. In Rough Sets and Knowledge Technology - 4th International Conference, RSKT 2009, Proceedings (pp. 52-59). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5589 LNAI). https://doi.org/10.1007/978-3-642-02962-2_7