Author:
(1) Thierry Boy de la Tour, Univ. Grenoble Alpes, CNRS, Grenoble INP, LIG 38000 Grenoble, France.
Table of Links
2 Basic Definitions and Notations
2.3 Signatures and Algebras and 2.4 Categories
3 Monographs and their Morphisms
6 Graph Structures and Typed Monographs
7 Submonographs and Partial Morphisms
8 Algebraic Transformations of Monographs
2.1 Sets
2.2 Sequences
2.3 Signatures and Algebras
2.4 Categories
This paper is available on arxiv under CC BY 4.0 DEED license.
[1] For the sake of simplicity we do not allow the overloading of operator names as in [6]. These names will turn out to be irrelevant anyway.