参考文献¶
约 28 个字
有修改原文的一些 typo。
[1] M. Artin, A. Grothendieck, J.L. Verdier, Théorie des topos et cohomologie étale des schémas, Springer Lecture Notes in Mathematics, 269, 270, 1972
[2] F. Borceux, Handbook of Categorical Algebra 1: Basic Category Theory, Cambridge University Press 1994
[3] F. Borceux, Handbook of Categorical Algebra 2: Categories and Structures, Cambridge University Press 1994
[4] F. Borceux, Handbook of Categorical Algebra 3: Categories of Sheaves, Cambridge University Press 1994
[5] O. Caramello, Theories, sites, toposes, Oxford University Press 2017
[6] H. Cartan, Théorie des faisceaux, Séminaire Cartan (Topologie algébrique) 1, 1948-1949, exposés 12–17
[7] C. Ehresmann, Structures locales, Annali di Matematica Pura ed Applicata 36, 133-142, 1954
[8] P. Freyd, Aspects of topoi, Bulletin of the Australian Mathematical Society, 7, 1972, 1–76
[9] J. Giraud, Classifying topos, Springer Lecture Notes in Mathematics, 274, 1972, 43–56
[10] G. Godement, Topologie algébrique et théorie des faisceaux, Hermann, 1958
[11] M. Hakim, Topos annelés et schémas relatifs, Ergebnisse der Mathematik und ihrer Grenzgebiete 64, Springer, 1972
[12] P.T. Johnstone, Topos Theory, Academic Press , 1977
[13] P.T. Johnstone, Stone spaces, Cambridge University Press, 1982
[14] P.T. Johnstone, Sketches of an Elephant; a Topos Theory Compendium, Volume 1, Oxford University Press, 2002
[15] P.T. Johnstone, Sketches of an Elephant; a Topos Theory Compendium, Volumes 2, Oxford University Press, 2003
[16] F.W. Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sc. 50, 1963, 869–872
[17] F.W. Lawvere, Quantifiers as sheaves, Proceedings of the International Congress on Mathematics, Nice 1970, Gauthiers Villars, 1971, 1506–1511
[18] S. Mac Lane and I. Moerdijk, Sheaves in geoemetry and logic: a first introduction to topos theory, Springer, 1961
[19] M. Makkai, G. Reyes, First order categorical logic, Springer Lecture Notes in Mathematics, 611, 1977
[20] G. Osius, Logical and set theoretical tools in elementary topos, Springer Lecture Notes in Mathematics, 445, 1975, 297–354
[21] R. Paré, Colimits in topoi, Bulletin of the American Mathematical Society, 80, 1974, 556–561
[22] M. Tierney, Axiomatic sheaf theory: some constructions and applications, Proceedings of the CIME Conference on categories and commutative algebra, Varenna 1971, Edizioni Cremonese, 1973, 249–326
[23] G. Wraith, Lectures on elementary topoi, Springer Lecture Notes in Mathematics, 445, 1975, 513–553