Continuous fibrations and inverse limits of toposes
暂无分享,去创建一个
[1] Peter Freyd. All topoi are localic or why permutation models prevail , 1987 .
[2] A. Joyal,et al. An extension of the Galois theory of Grothendieck , 1984 .
[3] P. Johnstone. Open maps of toposes , 1980 .
[4] A. Grothendieck,et al. Théorie des Topos et Cohomologie Etale des Schémas , 1972 .
[5] Ieke Moerdijk,et al. On choice sequences determined by spreads , 1984, Journal of Symbolic Logic.
[6] Radu Dia coneseu. Grothendieck toposes have boolean points a new proof , 1976 .