Categorical aspects of data type constructors (Q1094129): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 01:28, 31 January 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical aspects of data type constructors |
scientific article |
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
