ტოპოსების თეორია

ვიკიპედიიდან

ტოპოსების თეორიაკატეგორიათა თეორიის ნაწილი, რომელიც სწავლობს ტოპოსებს – განსაკუთრებული კატეგორიები განსაზღვრული დამატებითი სტრუქტურით და ტოპოსებთან დაკავშირებულ კატეგორიულ მეთოდებს.

ტოპოსების თეორიის განვითარება დაოწყო მე–20 საუკუნის მეორე ნახევარში. მისმა იდეებმა ასახვა ჰპოვეს მათემატიკის, განსაკუთრებით გეომეტრიის და მათემატიკური ლოგიკის სხვადასხვა დარგში.

[რედაქტირება] ლიტერატურა

  • Saunders Mac Lane, Ieke Moerdijk, Sheaves in Geometry and Logic: a First Introduction to Topos Theory, Springer, New York, 1992. More complete, and more difficult to read.
  • Peter T. Johnstone, Sketches of an Elephant: A Topos Theory Compendium, Oxford Science Publications, Oxford, 2002.
სხვა ენებზე