Data types in distributive categories

DOI10.1017/S0004972700003506zbMath0673.68014OpenAlexW2001169407MaRDI QIDQ3827539

Robert F. C. Walters

Publication date: 1989

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972700003506

zbMATH Keywords

specification of abstract data typesdistributive categories

Mathematics Subject Classification ID

Data structures (68P05) Categorical structures (18D99)

Related Items (5)

On the generic solution to \(P(X)\cong X\) in distributive categories ⋮ Protocol choice and iteration for the free cornering ⋮ Categories with finite limits and stable binary coproducts can be subdirectly decomposed ⋮ Tail recursion through universal invariants ⋮ The free category with products on a multigraph

This page was built for publication: Data types in distributive categories