توبوس

الأعمال الأصلية لغروتينديك

وفي هذا السياق، Michael Barr and Charles Wells: Toposes, Triples and Theories, Springer, 1985. Corrected online version at http://www.cwru.edu/artsci/math/wells/pub/ttt.html. More concise than Sheaves in Geometry and Logic, but not an easy reading for the beginner.

إضافةً إلى ذلك، This book has been reprinted by Dover Publications, Inc (2006). The book can also be accessed freely on Robert Goldblatt's homepage : Topoi, the Categorial Analysis of Logic .

وفي هذا السياق، سوندرز ماكلين and Ieke Moerdijk: Sheaves in Geometry and Logic: a First Introduction to Topos Theory, Springer, New York, 1992. More complete, and more difficult to read.

وفي هذا الصدد، Colin McLarty: Elementary Categories, Elementary Toposes, Clarendon Press, Oxford, 1992. Includes a nice introduction of the basic notions of category theory, topos theory, and topos logic. Assumes very few prerequisites.

إضافةً إلى ذلك، John L. Bell: The development of categorical logic. http://publish.uwo.ca/~jbell/catlogprime.pdf (PDF)

وفي هذا الصدد، Robert Goldblatt: Topoi, the Categorial Analysis of Logic. North-Holland, New York, 1984. (Studies in logic and the foundations of mathematics, 98.). A good start.

وفي هذا السياق، ألكسندر غروتينديك and Verdier: Théorie des topos et cohomologie étale des schémas (known as SGA4)". New York/Berlin: Springer, ??. (Lecture notes in mathematics, 269–270)

كذلك، Interesting research books that are provide introductions to topos theory (or to a specific aspect of it), but which do not primarily cater to students. The given order roughly (!) reflects the difficulty of the level of exposition:

كتب للمتخصصين

علاوةً على ذلك، Peter T. Johnstone: Topos Theory, L. M. S. Monographs no. 10, Academic Press, 1977. For a long time the standard compendium on topos theory. However, it has also been described as "far too hard to read, and not for the faint-hearted", as quoted by Johnstone himself.

كذلك، Peter T. Johnstone: Sketches of an Elephant: A Topos Theory Compendium, Oxford Science Publications, Oxford, 2002. Johnstone’s overwhelming compendium. As of early 2006, two of the scheduled three volumes were available.

كذلك، Francis Borceux: Handbook of Categorical Algebra 3: Categories of Sheaves, Volume 52 of the Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1994. The third part of "Borceux' remarkable magnum opus", as Johnstone has labelled it. Still suitable as an introduction, though beginners may find it hard to recognize the most relevant results among the huge amount of material given.

كتب تستهدف تطبيقات خاصة لنظرية التوبوس

وفي السياق ذاته، Maria Cristina Pedicchio and Walter Tholen (editors): Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory. Volume 97 of the Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2004. Includes many interesting special applications.