Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Cole, J.C.: The bicategory of topoi, and spectra. J. Pure and Applied Algebra (to appear).
2. Freyd, P.J.: The theories of functors and models. In "The Theory of Models" (ed. J.W. Addison, L. Henkin and A. Tarski), North-Holland 1965, 107–120.
3. Gabriel, P. and Ulmer, F.: "Lokal präsentierbare Kategorien". Springer Lecture Notes in Math. 221 (1971).
4. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M. and Scott, D.S.: "A Compendium of Continuous Lattices". To appear.
5. Grothendieck, A. and Verdier, J.L.: Théorie des topos (SGA 4, exposés I-VI). Springer Lecture Notes in Math. 269–270 (1972).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Totally distributive toposes;Journal of Pure and Applied Algebra;2012-11
2. Ordinal arithmetic with list structures (preliminary version);Logical Foundations of Computer Science — Tver '92