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.
Liste complète des métadonnées

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

http://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 7 février 2020 - 01:07:42
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

32

Téléchargements de fichiers

16