Change of base for toposes with generators
From MaRDI portal
Publication:1236172
DOI10.1016/0022-4049(75)90015-8zbMath0353.18002OpenAlexW2001282615MaRDI QIDQ1236172
Publication date: 1975
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(75)90015-8
Fibered categories (18D30) Foundations of algebraic geometry (14A99) Foundations, relations to logic and deductive systems (18A15)
Related Items (21)
Functional Thesauri, Classifying Topoi, Unification, and Flatness ⋮ Saturated models of intuitionistic theories ⋮ Cosmoi of Internal Categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Discrete Double Fibrations ⋮ Classifying toposes for first-order theories ⋮ Tensor product of functors ⋮ Atomic toposes ⋮ Molecular toposes ⋮ Indexed categories and generated topologies ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ Continuous categories and exponentiable toposes ⋮ Unnamed Item ⋮ Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness ⋮ Yoneda structures on 2-categories ⋮ Classifying topoi and the axiom of infinity ⋮ Change of base for locally internal categories ⋮ Classifying topoi and finite forcing ⋮ Abelian groups in a topos: injectives and injective effacements ⋮ Classifying toposes and foliations
Cites Work
This page was built for publication: Change of base for toposes with generators