Dedekind categories with cutoff operators

Authors:
Hitoshi Furusawa;Yasuo Kawahara;Michael Winter
Affiliations:
Department of Mathematics and Computer Science, Kagoshima University, Kagoshima, Japan;Department of Informatics, Kyushu University, Fukuoka, Japan;Department of Computer Science, Brock University, St. Catharines, Ontario, Canada
Venue:
Fuzzy Sets and Systems
Year:
2011

Citing 5
Cited 1

Algebra of programming

Algebra of programming
Heterogeneous relation algebra

Relational methods in computer science
Goguen Categories: A Categorical Approach to L-fuzzy Relations

Goguen Categories: A Categorical Approach to L-fuzzy Relations
Arrow categories

Fuzzy Sets and Systems
Relational Mathematics

Relational Mathematics

Relation algebraic approaches to fuzzy relations

RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science

Quantified Score

Hi-index	0.20

Visualization

Abstract

Dedekind categories provide a suitable categorical framework for lattice-valued binary relations. It is known that the notion of crispness cannot be described by the basic tools of this theory only. In this paper we will study Dedekind categories with a cutoff operator in order to circumvent this shortage. We will introduce and investigate the properties of the operator and its relationship with other tools previously used for the same purpose. The main result of this paper is a representation theorem for Dedekind categories with a cutoff operator satisfying the point axiom.