Category theory is discussed as an appropriate mathematical basis for the formalization and study of ontologies. It is based upon the notion of the structure manifest in systems of compositional relations and through mappings between systems that preserve composition. With one or two important exceptions, the basic concepts of category theory needed for an understanding of the other chapters involving category theory are presented here. The exceptions will be presented where they are used. © Springer Science+Business Media B.V. 2010.
CITATION STYLE
Healy, M. J. (2010). Category theory as a mathematics for formalizing ontologies. In Theory and Applications of Ontology: Computer Applications (pp. 487–510). Springer Netherlands. https://doi.org/10.1007/978-90-481-8847-5_21
Mendeley helps you to discover research relevant for your work.