An exactification of the monoid of primitive recursive functions

DOI10.1007/s11225-005-2765-xzbMath1096.03048OpenAlexW2169540698MaRDI QIDQ817674

Philip J. Scott, Joachim Lambek

Publication date: 17 March 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-005-2765-x

zbMATH Keywords

idempotent splitting completionpersprimitive recursive functionregular and exact categoryrelation calculus

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Aspects of Categorical Recursion Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functorial polymorphism
• Regular and exact completions
• Diagram chasing in ordered categories with involution
• Exact categories and categories of sheaves
• Goursats Theorem and the Zassenhaus Lemma
• ABOUT MODEST SETS
• Constructive natural deduction and its ‘ω-set’ interpretation
• Least fixpoints of endofunctors of cartesian closed categories