Toward a Category Theory Design of Ontological Knowledge Bases

Nikolaj Glazunov

I discuss (ontologies_and_ontological_knowledge_bases / formal_methods_and_theories) duality and its category theory extensions as a step toward a solution to Knowledge-Based Syste…