Khác biệt giữa bản sửa đổi của “Lý thuyết phạm trù”

Một ví dụ cơ bản của một phạm trù là [[Lý thuyết tập hợp|phạm trù các tập hợp]], trong đó các đối tượng là các tập hợp và các cấu xạ là các hàm từ tập hợp này sang tập hợp khác. Tuy nhiên, các đối tượng của một phạm trù không nhất thiết phải là các tập hợp và các cấu xạ cũng không nhất thiết phải là các hàm. Bất kỳ cách nào để hình thức hóa một khái niệm toán học sao cho nó đáp ứng các điều kiện cơ bản về hành vi của các đối tượng và cấu xạ đều là một phạm trù hợp lệ và tất cả các kết quả của lý thuyết phạm trù đều áp dụng cho nó.

 

 

==Tham khảo==