Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

Monographs, a Category of Graph Structures

Abstract : 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.
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées

https://hal.univ-grenoble-alpes.fr/hal-03430250
Contributeur : Thierry Boy de la Tour Connectez-vous pour contacter le contributeur
Soumis le : mardi 16 novembre 2021 - 10:29:40
Dernière modification le : samedi 20 novembre 2021 - 03:49:05
Archivage à long terme le : : jeudi 17 février 2022 - 18:21:35

Fichier

wadt-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Thierry Boy de la Tour. Monographs, a Category of Graph Structures. Recent Trends in Algebraic Development Techniques, 12669, Springer International Publishing, pp.54-74, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-73785-6_4⟩. ⟨hal-03430250⟩

Partager

Métriques

Consultations de la notice

7

Téléchargements de fichiers

21