Formalising the network and hierarchical data models — an application of categorical Logic | Publicación