Now showing items 1-1 of 1

    • A proposal for ontology formalization based on category theory 

      Antunes, Cauã Roca (2018) [Work completion of graduation]
      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 ...