Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.univ-grenoble-alpes.fr/hal-02428793
Contributor : Thierry Boy de la Tour <>
Submitted on : Monday, January 6, 2020 - 11:32:39 AM
Last modification on : Friday, July 17, 2020 - 11:10:24 AM
Long-term archiving on: : Tuesday, April 7, 2020 - 6:20:54 PM

Files

hal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02428793, version 1

Citation

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

Share

Metrics

Record views

12

Files downloads

13