List-arithmetic distributive categories: Locoi

DOI10.1016/0022-4049(90)90121-WMaRDI QIDQ752170zbMATH OpenFDO

Authors J. R. B. Cockett

Publication date 1990

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

zbMATH Keywords

sketchcontraction mapconnected limitslocosarithmetic categorydistributive categorylist-arithmetic categoryparametrized list constructorparametrized natural-number objectrecursive objectsseparator subobject

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Special categories (18B99) Categorical structures (18D99) Abstract and axiomatic computability and recursion theory (03D75) Theory of computing (68Q99)

Recommendations

• scientific article; zbMATH DE number 221078
• scientific article; zbMATH DE number 4106837
• Introduction to distributive categories
• Finite objects in a locos
• Distributive algebras in linear categories

Cites work

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3944108 (Why is no real title available?)
• scientific article; zbMATH DE number 3955174 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 4106837 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• Aspects of topoi
• Cartesian categories with natural numbers object
• Diophantine Equations in Recursive Difference.
• Initial Algebra Semantics and Continuous Algebras
• Introduction to distributive categories

Cited in

(13)

• List Objects with Algebraic Structure
• scientific article; zbMATH DE number 221078 (Why is no real title available?)
• scientific article; zbMATH DE number 4106837 (Why is no real title available?)
• Finite objects in a locos
• Categories with finite limits and stable binary coproducts can be subdirectly decomposed
• Tail recursion through universal invariants
• The universal property of the multitude of trees
• An induction principle for consequence in arithmetic universes
• Joyal's arithmetic universes via type theory
• A formal identification between tuples and lists with an application to list-arithmetic categories
• Structural induction and coinduction in a fibrational setting
• Data types in distributive categories
• Constructing process categories

This page was built for publication: List-arithmetic distributive categories: Locoi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q752170)