Pages that link to "Item:Q920197"
From MaRDI portal
The following pages link to Monoidal categories with natural numbers object (Q920197):
Displaying 15 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← links)
- Dinatural numbers (Q1295522) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
- Cartesian categories with natural numbers object (Q1822604) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- A Categorical Setting for Lower Complexity (Q3178259) (← links)
- Partial Recursive Functions and Finality (Q4922089) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)