scientific article

zbMath0588.18001MaRDI QIDQ3715301

Albert Burroni

Publication date: 1986

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1986__27_1_49_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kan extensionsprimitive recursive functionsfree PL categoryPeano-Lawvere category

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Recursive functions and relations, subrecursive hierarchies (03D20) Graphs, diagram schemes, precategories (18A10) Abstract and axiomatic computability and recursion theory (03D75) Foundations, relations to logic and deductive systems (18A15)

Related Items (9)

Natural number objects in Dialectica categories ⋮ Galois Theory of Algorithms ⋮ A class of recursive permutations which is primitive recursive complete ⋮ Higher-dimensional word problems with applications to equational logic ⋮ List-arithmetic distributive categories: Locoi ⋮ Unnamed Item ⋮ Induction, Coinduction, and Adjoints ⋮ List Objects with Algebraic Structure ⋮ Aspects of Categorical Recursion Theory

This page was built for publication: