Khác biệt giữa bản sửa đổi của “Lý thuyết phạm trù”
Nội dung được xóa Nội dung được thêm vào
n replaced: ) → ) (2), . → . (5), , → , (11), . <ref → .<ref using AWB |
|||
Dòng 1:
[[Tập tin:Commutative_diagram_for_morphism.svg|phải|nhỏ|200x200px| Sơ đồ biểu diễn của một loại với các đối tượng ''X'', ''Y'', ''Z'' và hình thái ''f'', ''g'', ''g'' ∘ ''f''. (Ba hình thái nhận dạng của danh mục 1 <sub>''X''</sub>, 1 <sub>''Y''</sub> và 1 <sub>''Z''</sub>, nếu được trình bày rõ ràng, sẽ xuất hiện dưới dạng ba mũi tên, từ các chữ X, Y và Z tương ứng.
'''Lý thuyết phạm trù''' <ref>{{Chú thích sách|url=https://books.google.com/books?id=zLs8BAAAQBAJ|title=Category Theory|last=Awodey|first=Steve|publisher=Oxford University Press|year=2010|isbn=978-0-19-923718-0|edition=2nd|series=Oxford Logic Guides|volume=49|author-link=Steve Awodey|orig-year=2006}}</ref> chính thức hóa [[Cấu trúc (toán học)|cấu trúc toán học]] và các khái niệm của nó theo [[Đồ thị có hướng|biểu đồ]] được [[Đồ thị có hướng|định hướng]] có nhãn gọi là một ''[[Phạm trù (toán học)|thể loại]]'', có các nút được gọi là ''các đối tượng'' và các cạnh có nhãn được gọi là ''mũi tên'' (hoặc hình thái). Một [[Phạm trù (toán học)|phạm trù]] có hai thuộc tính cơ bản: khả năng [[Hàm hợp|soạn thảo]] các mũi tên một cách [[Tính kết hợp|kết hợp]] và sự tồn tại của một mũi tên [[Hàm đồng nhất|nhận dạng]] cho mỗi đối tượng. Ngôn ngữ của lý thuyết phạm trù đã được sử dụng để chính thức hóa các khái niệm về [[trừu tượng]] cấp cao khác như [[Lý thuyết tập hợp|tập hợp]], [[Lý thuyết vành|vành]] và [[Lý thuyết nhóm|nhóm]]. Một cách không chính thức, lý thuyết phạm trù là một lý thuyết chung về [[Hàm số|chức năng]].
| |||