Pages that link to "Item:Q1822604"
From MaRDI portal
The following pages link to Cartesian categories with natural numbers object (Q1822604):
Displayed 5 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)
- Primitive recursion, equality, and a universal set (Q4322431) (← links)