Classes of finite relations as initial abstract data types. II (Q1318793)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Classes of finite relations as initial abstract data types. II |
scientific article; zbMATH DE number 540925
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classes of finite relations as initial abstract data types. II |
scientific article; zbMATH DE number 540925 |
Statements
Classes of finite relations as initial abstract data types. II (English)
0 references
4 April 1994
0 references
This is the second part of the paper [for part I see ibid. 90, No. 3, 233-265 (1991; Zbl 0739.08003)]. The authors extend their considerations to the cae of multirelations. Algebraic and matrix theories in terms of strict monoidal categories are presented. Moreover, some weaker systems of axioms concerning classes of relations are given.
0 references
algebraic theory
0 references
matrix theory
0 references
initial algebra
0 references
multirelations
0 references
strict monoidal categories
0 references
