Categorical aspects of data type constructors

DOI10.1016/0304-3975(87)90122-8zbMath0629.68014OpenAlexW2041841501MaRDI QIDQ1094129

John W. Gray

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90122-8

zbMATH Keywords

graphtensor productinitial algebrasData typescategory of sketchessketch homomorphisms

Mathematics Subject Classification ID

Data structures (68P05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)

Related Items (4)

A generalization of the concept of sketch ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Universal algebra in a closed category
• Formal category theory: Adjointness for 2-categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Parameterized Programming
• On the essentially-algebraic theory generated by a sketch
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Introduction to bicategories
• Algebra valued functors in general and tensor products in particular
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categorical aspects of data type constructors