Wikipedia

Khác biệt giữa bản sửa đổi của “Trợ giúp:Chỗ thử”

Duyệt lịch sử tương tác
← Thay đổi trướcThay đổi sau →
Nội dung được xóa Nội dung được thêm vào
Trực quanMã wiki
(tóm lược sửa đổi đã bị xóa)
Thẻ: Trang đổi hướng mới Sửa đổi di động Sửa đổi từ trang di động
n Đã lùi lại sửa đổi của 2001:EE0:236:4AE4:9D6E:DB7:9CD:C354 (Thảo luận) quay về phiên bản cuối của Buiquangtu
Thẻ: Xóa đổi hướng Lùi tất cả
Dòng 1:
Trong [[lý thuyết phạm trù]], '''phạm''' '''trù các tập hợp''', ký hiệu là '''Set''' (từ tiếng Anh cho "tập hợp"), là [[Phạm trù (toán học)|phạm trù]] có [[Lý thuyết phạm trù|đối tượng]] là [[Tập hợp (toán học)|các tập hợp]] và cấu xạ là các hàm số từ ''A'' vào ''B;'' phép hợp cấu xạ được cho bởi [[hàm hợp]] .
#REDIRECT [[Thành viên:Okokokokokkkk1|Okokokokokkkk1]]
{{DISPLAYTITLE:ShoPro}}
 
== Tính chất ==
<br />
'''Set''' là một phạm trù vì phép hợp các hàm có [[tính kết hợp]] và [[hàm đồng nhất]] ''id<sub>X</sub>:X → X'' tồn tại với mọi tập hợp ''X''.
{{DEFAULTSORT:ShoPro}}
 
Các [[toàn cấu]] trong '''Set''' là các [[toàn ánh]], các [[đơn cấu]] là các [[đơn ánh]] và các [[Phép đẳng cấu|đẳng cấu]] là các [[song ánh]].
 
Tập hợp [[Tập hợp rỗng|rỗng]] đóng vai trò là [[ Đối tượng ban đầu |đối tượng đầu]] của '''Set''', cấu xạ tương ứng là hàm rỗng. Mỗi [[ Singleton (toán học) |tập hợp đơn điểm]] đều là một [[ Đối tượng đầu cuối |đối tượng cuối]], cấu xạ tương ứng là hàm hằng. Do đó '''Set''' không có đối tượng <math>0</math>.
 
== Tham khảo ==
 
* Blass, A. [http://www.math.lsa.umich.edu/~ablass/interact.pdf Sự tương tác giữa lý thuyết phạm trù và lý thuyết tập hợp] . Toán học đương đại 30 (1984).
* Feferman, S. Cơ sở tập hợp của lý thuyết phạm trù. Bài giảng mùa xuân. Ghi chú môn Toán. 106 (1969): 20112247.
* Lawvere, FW [http://www.tac.mta.ca/tac/reprints/articles/11/tr11.pdf Một lý thuyết cơ bản về phạm trù các tập hợp (phiên bản dài) với lời bình luận]
* Mac Lane, S. Một vũ trụ làm nền tảng cho lý thuyết phạm trù. Bài giảng mùa xuân. Ghi chú môn Toán. 106 (1969): 192 Vang200.
* {{Chú thích sách|url=https://books.google.com/books?id=eBvhyc4z8HQC&printsec=frontcover&cad=0#v=onepage&q&f=false|title=Categories for the Working Mathematician|last=Mac Lane|first=Saunders|date=September 1998|publisher=Springer|isbn=0-387-98403-8|author-link=Mac Lane}} <bdi> </bdi>
* {{Chú thích|isbn=978-0-12-545150-5}} <bdi> </bdi>
[[Thể loại:Lý thuyết phạm trù]]
Lấy từ “https://vi.wikipedia.org/wiki/Trợ_giúp:Chỗ_thử”