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

არ არის რედაქტირების რეზიუმე
კატეგორია არის რაღაც, რომელშიც არჩევენ ობიექტებს და ყოველ ორ ობიექტთან, ვთქვათ X და Y დაკავშირებულ სიმრავლეს, Mor(X, Y) რომლის ელემენტებსაც უწოდებენ მორფიზმებს წესებით:
 
- თუ f ∈ Mor(X, Y) და g ∈ Mor(Y, Z), მაშინ არსებობს ერთადერთი მორფიზმი Mor(X, Z)-ში, რომელიც იწოდება f-სა და g-ს კომპოზიციად აღინიშნება g ∘ f ან f ∘ g (გააჩნია გემოვნებას)
 
- კომპოზიცია როგორც ოპერაცია ასოციურია, ანუ h ∘ (g ∘ f) = (h ∘ g) ∘ f
20

რედაქტირება