Abstract
A Dedekind category is a convenient algebraic framework to manipulate (binary) relations. Concepts of points, point axioms and related conditions such as the axiom of totality, the axiom of subobject, the axiom of complement, and the relational axiom of choice are introduced in Dedekind categories in order to connect abstract notions to set-theoretical intuition. This paper summarises logical interrelations of these axioms and provides some ideas for using them.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Journal of Logical and Algebraic Methods in Programming
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.