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.

0 references

zbMATH Keywords

tensor product

0 references

graph

0 references

category of sketches

0 references

sketch homomorphisms

0 references

Data types

0 references

initial algebras

0 references

reviewed by

Véra Kůrková-Pohlová

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0304-3975(87)90122-8

0 references

cites work

Q3682648

0 references

Q5545978

0 references

Introduction to bicategories

0 references

Q5679011

0 references

Universal algebra in a closed category

0 references

Q3221381

0 references

Q5184878

0 references

Algebra valued functors in general and tensor products in particular

0 references

Lokal präsentierbare Kategorien. (Locally presentable categories)

0 references

Parameterized Programming

0 references

Q5664061

0 references

Formal category theory: Adjointness for 2-categories

0 references

Q3324132

0 references

On the essentially-algebraic theory generated by a sketch

0 references

0 references

0 references

0 references

0 references

0 references

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

0 references

Q5587104

0 references

Data Type Specification: Parameterization and the Power of Specification Techniques

0 references

Q5416166

0 references

Identifiers

zbMATH Open document ID

0629.68014

0 references

DOI

10.1016/0304-3975(87)90122-8

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1094129

@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5545978
@@ Property / cites work: Q5545978 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679011
@@ Property / cites work: Q5679011 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra in a closed category
@@ Property / cites work: Universal algebra in a closed category / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5184878
@@ Property / cites work: Q5184878 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra valued functors in general and tensor products in particular
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Parameterized Programming
@@ Property / cites work: Parameterized Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5664061
@@ Property / cites work: Q5664061 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal category theory: Adjointness for 2-categories
+Normal rank
@@ Property / cites work @@
+Q3324132
@@ Property / cites work: Q3324132 / rank @@
+Normal rank
@@ Property / cites work @@
+On the essentially-algebraic theory generated by a sketch
+Normal rank
@@ Property / cites work @@
+Q3491793
@@ Property / cites work: Q3491793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4743710
@@ Property / cites work: Q4743710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4747503
@@ Property / cites work: Q4747503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4180524
@@ Property / cites work: Q4180524 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5587104
@@ Property / cites work: Q5587104 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank
@@ Property / cites work @@
+Q5416166
@@ Property / cites work: Q5416166 / rank @@
+Normal rank