Accéder directement au contenu Accéder directement à la navigation
Pré-publication, Document de travail

On Monographs, Monadic Many-Sorted Algebras and Graph Structures

Abstract : A simple notion of monograph is proposed that generalizes the standard notion of 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. The simplicity of monographs is illustrated by deducing some of their categorial properties from those of sets.
Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.univ-grenoble-alpes.fr/hal-02428793
Contributeur : Thierry Boy de la Tour <>
Soumis le : vendredi 31 janvier 2020 - 15:41:26
Dernière modification le : vendredi 17 juillet 2020 - 11:10:24
Document(s) archivé(s) le : vendredi 1 mai 2020 - 16:10:43

Fichiers

hal-v2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02428793, version 2

Collections

LIG | CNRS | UGA

Citation

Thierry Boy de la Tour. On Monographs, Monadic Many-Sorted Algebras and Graph Structures. 2020. ⟨hal-02428793v2⟩

Partager

Métriques

Consultations de la notice

39

Téléchargements de fichiers

30