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

 

 

 

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