2 papers
math.CT2026
Categories with a Base of Computability
Luis Gambarte, Iosif Petrakis
The notion of a base of computability in a category was introduced as a tool to generate computability models, in the sense of Longley and Normann, from…
math.CT2024
The Grothendieck computability model
Luis Gambarte, Iosif Petrakis
Translating notions and results from category theory to the theory of computability models of Longley and Normann, we introduce the Grothendieck computability model and the first-p…