Cardinal Addition in Distributive Allegories

Authors:
Yasuo Kawahara;Michael Winter
Affiliations:
Department of Informatics, Kyushu University, Fukuoka, Japan;Department of Computer Science, Brock University, St. Catharines, Canada L2S 3A1
Venue:
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Year:
2009

Citing 7
Cited 1

Combinatorial optimization: algorithms and complexity

Combinatorial optimization: algorithms and complexity
Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
Algebra of programming

Algebra of programming
Relational methods in computer science

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

Goguen Categories: A Categorical Approach to L-fuzzy Relations
Cardinality in allegories

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
On the cardinality of relations

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra

Building structured theories

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we want to extend the abstract approach to the size of a relation based on a cardinality function. Assuming suitable extra structure on the underlying distributive allegory we are going to define addition on cardinalities and investigate its basic properties.