Categorical aspects of data type constructors (Q1094129): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0304-3975(87)90122-8 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2041841501 / rank | |||
Normal rank | |||
Revision as of 19:35, 19 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
