Pages that link to "Item:Q1822604"
From MaRDI portal
The following pages link to Cartesian categories with natural numbers object (Q1822604):
Displayed 8 items.
- Tail recursion through universal invariants (Q685396) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- Galois Theory of Algorithms (Q3299851) (← links)
- Primitive recursion, equality, and a universal set (Q4322431) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- V-comprehensions and P space (Q5057477) (← links)