Abstract: 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

Key words: Formal ontology, Category theory, Sketch, Graph based logic