Boolean algebras and stone maps in Schröder categories

Authors:
Yasuo Kawahara
Affiliations:
Department of Informatics, Kyushu University, Fukuoka, Japan
Venue:
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Year:
2008

Citing 5
Cited 0

Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
Monomorphic characterization of n-ary direct products

Information Sciences: an International Journal - Relational methods in computer science
Lattices in dedekind categories

Relational methods for computer science applications
Groups in Allegories

ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
A representation theorem for Boolean contact algebras

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper concerns the concepts of Boolean algebras, the filters and Stone maps in Schröder categories, and further the development of the relational methodology, which might be the foundations of mathematics and computer science.