A Dedekind category is a convenient algebraic framework to treat relations. Concepts of points and some axioms such as the point axiom, the axiom of totality, the axiom of subobject, the axiom of complement, and the relational axiom of choice are introduced in Dedekind categories to connect functional ideas to set-theoretical intuition. This paper summarises interrelations of these axioms. © 2012 Springer-Verlag.
CITATION STYLE
Furusawa, H., & Kawahara, Y. (2012). Point axioms in dedekind categories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7560 LNCS, pp. 219–234). https://doi.org/10.1007/978-3-642-33314-9_15
Mendeley helps you to discover research relevant for your work.