Graduate studies at Western
Axiomathes 16 (1-2):165-214 (2006)
|Abstract||We propose category theory, the mathematical theory of structure, as a vehicle for defining ontologies in an unambiguous language with analytical and constructive features. Specifically, we apply categorical logic and model theory, based upon viewing an ontology as a sub-category of a category of theories expressed in a formal logic. In addition to providing mathematical rigor, this approach has several advantages. It allows the incremental analysis of ontologies by basing them in an interconnected hierarchy of theories, with an operation on the hierarchy that expresses the formation of complex theories from simple theories that express first principles. Another operation forms abstractions expressing the shared concepts in an array of theories. The use of categorical model theory makes possible the incremental analysis of possible worlds, or instances, for the theories, and the mapping of instances of a theory to instances of its more abstract parts. We describe the theoretical approach by applying it to the semantics of neural networks.|
|Keywords||category cognition colimit functor limit natural transformation neural network semantics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Elaine Landry (2011). How to Be a Structuralist All the Way Down. Synthese 179 (3):435 - 454.
Anand Kumar & Barry Smith (2003). The Unified Medical Language System and the Gene Ontology: Some Critical Reflections. In KI 2003: Advances in Artificial Intelligence.
F. A. Muller (2001). Sets, Classes, and Categories. British Journal for the Philosophy of Science 52 (3):539-573.
Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira, A Systems Theoretical Formal Logic for Category Theory.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Added to index2009-01-28
Total downloads23 ( #60,238 of 739,346 )
Recent downloads (6 months)2 ( #37,187 of 739,346 )
How can I increase my downloads?