Categories with finite limits and stable binary coproducts can be subdirectly decomposed
From MaRDI portal
Publication:1192251
DOI10.1016/0022-4049(92)90091-SzbMath0758.18003MaRDI QIDQ1192251
Publication date: 27 September 1992
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
subdirect decompositionfinitely complete categorysemantics of programming languagesdistributive categoryinitial objectpullback-stable binary coproductsterm models
Semantics in the theory of computing (68Q55) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)
Related Items
Total maps of Turing categories, New wide classes of weakly Mal'tsev categories, ! and ? – Storage as tensorial strength
Cites Work