Categorical aspects of data type constructors (Q1094129)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4024755
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Categorical aspects of data type constructors |
scientific article; zbMATH DE number 4024755 |
Statements
Categorical aspects of data type constructors (English)
0 references
1987
0 references
In the paper there is introduced a category of sketches and sketch homomorphisms which is used for presentation of many sorted algebraic theories. Data types are described as initial algebras for sketches. Data type constructors such as e.g. STRINGSofDIGITS, ARRAYofBOOL, SETofINT, STACKofCHAR are presented in a categorical language.
0 references
tensor product
0 references
graph
0 references
category of sketches
0 references
sketch homomorphisms
0 references
Data types
0 references
initial algebras
0 references
