Categorical aspects of data type constructors (Q1094129): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 03:10, 5 March 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
