Change of base for toposes with generators
From MaRDI portal
Publication:1236172
DOI10.1016/0022-4049(75)90015-8zbMath0353.18002MaRDI 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
18D30: Fibered categories
14A99: Foundations of algebraic geometry
18A15: Foundations, relations to logic and deductive systems
Related Items
Cosmoi of Internal Categories, Classifying toposes and foliations, Classifying topoi and finite forcing, Abelian groups in a topos: injectives and injective effacements, Tensor product of functors, Atomic toposes, Molecular toposes, Indexed categories and generated topologies, Continuous categories and exponentiable toposes, Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness, Yoneda structures on 2-categories, Classifying topoi and the axiom of infinity, Classifying toposes for first-order theories, Change of base for locally internal categories, Saturated models of intuitionistic theories, Unnamed Item, Unnamed Item, Unnamed Item
Cites Work