List-arithmetic distributive categories: Locoi

DOI10.1016/0022-4049(90)90121-WzbMath0715.18005MaRDI QIDQ752170

J. Robin 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) Theory of computing (68Q99) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (9)

Constructing process categories ⋮ An induction principle for consequence in arithmetic universes ⋮ Categories with finite limits and stable binary coproducts can be subdirectly decomposed ⋮ Finite objects in a locos ⋮ Tail recursion through universal invariants ⋮ Structural induction and coinduction in a fibrational setting ⋮ Joyal's arithmetic universes via type theory ⋮ List Objects with Algebraic Structure ⋮ The universal property of the multitude of trees

Cites Work

• Cartesian categories with natural numbers object
• Initial Algebra Semantics and Continuous Algebras
• Introduction to distributive categories
• Diophantine Equations in Recursive Difference.
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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