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