List-arithmetic distributive categories: Locoi
From MaRDI portal
Recommendations
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)