MICHAEL JOHN HEALY and THOMAS PRESTON CAUDELL ONTOLOGIES AND WORLDS IN CATEGORY THEORY: IMPLICATIONS FOR NEURAL SYSTEMS

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… (More)

11 Figures and Tables

Topics

  • Presentations referencing similar topics