On Monographs, Monadic Many-Sorted Algebras and Graph Structures - Université Grenoble Alpes
Pré-Publication, Document De Travail Année : 2020

On Monographs, Monadic Many-Sorted Algebras and Graph Structures

Thierry Boy de La Tour
  • Fonction : Auteur
  • PersonId : 1022935

Résumé

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.
Fichier principal
Vignette du fichier
hal-v2.pdf (316.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02428793 , version 1 (06-01-2020)
hal-02428793 , version 2 (31-01-2020)

Identifiants

  • HAL Id : hal-02428793 , version 2

Citer

Thierry Boy de La Tour. On Monographs, Monadic Many-Sorted Algebras and Graph Structures. 2020. ⟨hal-02428793v2⟩
70 Consultations
113 Téléchargements

Partager

More