კატეგორიათა თეორია: განსხვავება გადახედვებს შორის

არ არის რედაქტირების რეზიუმე
(r2.7.3) (ბოტის დამატება: sh:Teorija kategorija)
კატეგორიათა თეორიის საბაზისო ცნებებია: [[კატეგორია (მათემატიკა)|კატეგორია]], [[ფუნქტორი]], [[ბუნებრივი გარდაქმნა]], [[შეუღლება]] და ა.შ. ისინი გვხვდება მათემატიკის უმრავლეს და [[თეორიული კომპიუტერული მეცნიერება|თეორიული კომპიუტერული მეცნიერების]] ზოგიერთ დარგში.
 
კატეგორიათა თეორიის მეთოდები და აბსტრაქტული კატეგორიული თეორიები გამოიყენება მათემატიკის სხვადასხვა ნაწილებში. იგი ერთისერთი მხრივ იარაღია სხვადასხვა მათემატიკური სტრუქტურების შესასწავლად და მეორესმეორე მხრივ იძლევა განსხვავებული მათემატიკური თეორიების აბსტრაქტულ დონეზე გაერთიანების საშუალებას. კატეგორიული ენის გამოყენებით ასევე ხორციელდება ბევრი მათემატიკური თეორიის უფრო მარტივად და ერთიანად ჩამოყალიბება.
 
საქართველოში კატეგორიათა თეორიის განვითარების ინიციატორები იყვნენ გურამ ბერიშვილი და ხვედრი ინასარიძე. ამჟამად [[გოგი ჯანელიძე]] არის ამ დარგის