Research on Formal Categorical Ontologies
基于范畴论的形式化本体研究

Formal ontologies are very important for semantic Web. While all formal ontologles used today are based on set theory, we provide a new kind of formal ontology based on category theory. We dissertate why categorical ontologies are better from the point of view of category theory. Some examples show how to build categorical ontologies and that they are more expressive than others.