3 papers
math.CT2026
(2-dep,)-categories are not generalised categories with families
Luis Gambarte
The notion of a generalised category with families, introduced by Coraglia and Emmenegger is one of the most general notions introduced to capture categorically the notion of depen…
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…