Towards arrow-theoretic semantics of ontologies: conceptories