The concept of a limit of a sequence is further generalized to the concept of a limit of a topological net, and is closely related to limit and direct limit in category theory. Khái niệm giới hạn dãy số được tổng quát hóa thành giới hạn của một lưới topo, và liên hệ chặt chẽ với các khái niệm giới hạn và giới hạn trực tiếp trong lý thuyết phạm trù.
Hence category theory uses abstraction to make it possible to state and prove many intricate and subtle mathematical results in these fields in a much simpler way. Do đó lý thuyết phạm trù sử dụng sự trừu tượng để làm cho nó có thể phát biểu và chứng minh nhiều kết quả toán học phức tạp và tinh tế trong các lĩnh vực này một cách đơn giản hơn nhiều.[2]
Hence category theory uses abstraction to make it possible to state and prove many intricate and subtle mathematical results in these fields in a much simpler way.[2] Do đó lý thuyết phạm trù sử dụng sự trừu tượng để làm cho nó có thể phát biểu và chứng minh nhiều kết quả toán học phức tạp và tinh tế trong các lĩnh vực này một cách đơn giản hơn nhiều.[2]
Hence category theory uses abstraction to makes it possible to state and prove many intricate and subtle mathematical results in these fields in a much simpler ways.[2] Do đó lý thuyết phạm trù sử dụng sự trừu tượng để làm cho nó có thể phát biểu và chứng minh nhiều kết quả toán học phức tạp và tinh tế trong các lĩnh vực này một cách đơn giản hơn nhiều.[2]
The concept of a limit of a sequence is further generalized to the concept of a limit of a topological net, and is closely related to limit and direct limit in category theory. Định nghĩa về giới hạn dãy số được tổng quát hóa thành giới hạn của một lưới topo, và được liên hệ chặt chẽ với các khái niệm giới hạn và giới hạn trực tiếp trong lý thuyết phạm trù.
The “arrows” of category theory are often said to represent a process connecting two objects, or in many cases a “structure-preserving” transformation connecting two objects. "Mũi tên" của lý thuyết phạm trù thường được cho là đại diện cho một quá trình kết nối hai đối tượng, hoặc trong nhiều trường hợp, một phép biến đổi "bảo toàn cấu trúc" kết nối hai đối tượng.
The "arrows" of category theory are often said to represent a process connecting two objects, or in many cases a "structure-preserving" transformation connecting two objects. "Mũi tên" của lý thuyết phạm trù thường được cho là đại diện cho một quá trình kết nối hai đối tượng, hoặc trong nhiều trường hợp, một phép biến đổi "bảo toàn cấu trúc" kết nối hai đối tượng.
You may know only a tiny amount about category theory or prototype-based programming languages, but the little knowledge you have is still more than most. Bạn có thể chỉ biết tới một khoản rất nhỏ về lý thuyết phạm trù hoặc các ngôn ngữ lập trình dựa trên nguyên mẫu, nhưng một chút kiến thức bạn có vẫn còn nhiều hơn hầu hết những kiến thức khác.
This is the central idea of category theory, a branch of mathematics which seeks to generalize all of mathematics in terms of objects and arrows, independent of what the objects and arrows represent. Đây là ý tưởng trung tâm của lý thuyết phạm trù, một nhánh của toán học tìm cách khái quát tất cả các ngành toán học thành các đối tượng và mũi tên, độc lập với những gì các đối tượng và mũi tên này đại diện.
This is the central idea of category theory, a branch of mathematic which seeks to generalize all of mathematics in terms of objects and arrows independent of what the object and arrows represent. Đây là ý tưởng trung tâm của lý thuyết phạm trù, một nhánh của toán học tìm cách khái quát tất cả các ngành toán học thành các đối tượng và mũi tên, độc lập với những gì các đối tượng và mũi tên này đại diện.
