List-arithmetic distributive categories: Locoi

DOI10.1016/0022-4049(90)90121-WzbMATH Open0715.18005MaRDI QIDQ752170FDOQ752170

Authors: J. R. B. Cockett 

Publication date: 1990

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Initial Algebra Semantics and Continuous Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Aspects of topoi
• Introduction to distributive categories
• Cartesian categories with natural numbers object
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diophantine Equations in Recursive Difference.

Cited In (13)

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

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)