Abstract

Category theory is a branch of mathematics that is renowned for its semantic power despite its very simple axiom set. The use of category theory as a meta-ontology for abstract algebra via the highly developed field of universal algebra has suggested that it be used as a foundation for research in computing. To date it has been widely used in, inter alia, the definition of abstract data types, the semantics of programming languages, and the design of functional programming languages. This paper illustrates the use of category theory as a meta-ontology for information systems research. It is based on the authors' extensive consultancy work using category theory to solve real problems in industrial applications involving information systems. In addition to discussing the role of category theory as an ontological tool for information systems research, the paper illustrates its use with a number of examples including system specification, the definitions of views and view updates, and system interoperations.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

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.