Categorical aspects of data type constructors (Q1094129): Difference between revisions

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.