Pages that link to "Item:Q1822604"
From MaRDI portal
The following pages link to Cartesian categories with natural numbers object (Q1822604):
Displaying 16 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Objects of categories as complex numbers (Q703807) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Dinatural numbers (Q1295522) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
- Category with a natural cone (Q2501209) (← 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)