Monoidal categories with natural numbers object

DOI10.1007/BF00370829zbMath0708.18005OpenAlexW1507082320MaRDI QIDQ920197

Robert Paré, Leopoldo Román

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370829

zbMATH Keywords

monoidal categorynatural number object

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75)

Related Items

Natural number objects in Dialectica categories ⋮ A Categorical Setting for Lower Complexity ⋮ Monoidal computer. I: Basic computability by string diagrams ⋮ Safe recursion revisited. I: Categorical semantics for lower complexity ⋮ Categories for computation in context and unified logic ⋮ Tail recursion through universal invariants ⋮ Partial Recursive Functions and Finality ⋮ Induction, Coinduction, and Adjoints ⋮ List Objects with Algebraic Structure ⋮ Dinatural numbers ⋮ Aspects of Categorical Recursion Theory ⋮ An internal language for autonomous categories

Cites Work

• Coherence for bicategories and indexed categories
• Families parametrized by coalgebras
• Coalgebras and cartesian categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Monoidal categories with natural numbers object