Categories with finite limits and stable binary coproducts can be subdirectly decomposed

DOI10.1016/0022-4049(92)90091-SzbMath0758.18003MaRDI QIDQ1192251

J. Robin B. Cockett

Publication date: 27 September 1992

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

subdirect decompositionfinitely complete categorysemantics of programming languagesdistributive categoryinitial objectpullback-stable binary coproductsterm models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Related Items (3)

Total maps of Turing categories ⋮ New wide classes of weakly Mal'tsev categories ⋮ ! and ? – Storage as tensorial strength

Cites Work

• Unnamed Item
• Unnamed Item
• List-arithmetic distributive categories: Locoi
• Data types in distributive categories

This page was built for publication: Categories with finite limits and stable binary coproducts can be subdirectly decomposed