This work proposes a formalization of domain ontologies based in category theory as a framework for the study and representation of conceptual models. Category theory is a branch of mathematics that studies the structure ...