Cartesian categories with natural numbers object
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3827863 (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 3247155 (Why is no real title available?)
- Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
Cited in
(16)- A note on natural numbers objects in monoidal categories
- List-arithmetic distributive categories: Locoi
- scientific article; zbMATH DE number 221078 (Why is no real title available?)
- Primitive recursion, equality, and a universal set
- Galois theory of algorithms
- An internal language for autonomous categories
- Natural number objects in Dialectica categories
- V-comprehensions and P space
- Category with a natural cone
- Tail recursion through universal invariants
- Objects of categories as complex numbers
- scientific article; zbMATH DE number 1522861 (Why is no real title available?)
- Aspects of categorical recursion theory
- Monoidal categories with natural numbers object
- Induction, coinduction, and adjoints
- An equational variant of Lawvere's natural numbers object
This page was built for publication: Cartesian categories with natural numbers object
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1822604)
