Monographs, a Category of Graph Structures - Université Grenoble Alpes
Communication Dans Un Congrès Année : 2021

Monographs, a Category of Graph Structures

Résumé

Does a graph necessarily have nodes? May an edge be adjacent to itself and be a self-loop? These questions arise in the study of graph structures, i.e., monadic many-sorted signatures and the corresponding algebras. A simple notion of monograph is proposed that generalizes the standard notion of directed graph and can be drawn consistently with them. It is shown that monadic many-sorted signatures can be represented by monographs, and that the corresponding algebras are isomorphic to the monographs typed by the corresponding signature monograph. Monographs therefore provide a simple unifying framework for working with monadic algebras. Their simplicity is illustrated by deducing some of their categorial properties from those of sets.
Fichier principal
Vignette du fichier
wadt-final.pdf (411.6 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03430250 , version 1 (16-11-2021)

Identifiants

Citer

Thierry Boy de La Tour. Monographs, a Category of Graph Structures. WADT, 2020, Online, France. pp.54-74, ⟨10.1007/978-3-030-73785-6_4⟩. ⟨hal-03430250⟩
54 Consultations
155 Téléchargements

Altmetric

Partager

More