Colimit completions and the effective topos
From MaRDI portal
Publication:3197988
DOI10.2307/2274658zbMath0713.18003OpenAlexW2107996244MaRDI QIDQ3197988
Edmund P. Robinson, Giuseppe Rosolini
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274658
recursive setseffective topospartial recursive functionsfibered categoriescolimit completiondouble negation sheavesfree Barr-exact fibrationorthogonality between the types derived from the natural numbers object
Categorical logic, topoi (03G30) Topoi (18B25) Fibered categories (18D30) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Filtered colimits in the effective topos, Axiomatizing higher-order Kleene realizability, Extensional realizability, Some free constructions in realizability and proof theory, On categorical structures arising from implicative algebras: from topology to assemblies, Characterizing partitioned assemblies and realizability toposes, EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS, Regular functors and relative realisability categories, The category of equilogical spaces and the effective topos as homotopical quotients, Univalent polymorphism, The modified realizability topos, A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS, Algebraic set theory and the effective topos, Fraïssé's construction from a topos-theoretic perspective, Equilogical spaces, Locally cartesian closed exact completions, Aspects of Categorical Recursion Theory, A characterization of the left exact categories whose exact completions are toposes
Cites Work
