{"id":"arxiv/2608.20616","url":"https://arxiv.org/abs/2608.20616","tags":["math.CT","math.LO"],"score":0,"title":"Categories with a Base of Computability","domain":"math.CT","source":"arxiv","authors":["Luis Gambarte","Iosif Petrakis"],"reviews":0,"subject":"math.CT","summary":"The notion of a base of computability $\\mathscr{C}$ in a category $\\mathscr{C}$ was introduced as a tool to generate computability models, in the sense of Longley and Normann, from categories. In this paper we introduce the category $\\mathsf{CatBaseComp}$ of categories with a base of computability, and we show that $\\mathsf{CatBaseComp}$ has all pie limits. We prove that a Grothendieck fibration lifts a base of computability in the base category to a base of computability in the total category of the fibration, and conversely, a pullback-preserving Grothendieck fibration maps a base of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-20","reactions":{}}