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

არ არის რედაქტირების რეზიუმე
 
 
'''ფუნქტორი და ბუნებრივი გარდაქმნა'''
 
თუ მოცემულია ორი კატეგორია A და B. ვიტყვით რომ მოცემულია ფუნქტორი f კატეგორია A-დან კატეგორია B-ში თუ A-ს ყოველი ობიექტისათვის X მოცემულია ობიექტი B-დან fX, A-ს ყოველი მორფიზმისათვის m: X → Y მოცემულია მორფიზმი B-დან fm: fX → fY, ისეთი რომ f(m ∘ n) = fm ∘ fn.
20

რედაქტირება