อะไรคือความแตกต่างระหว่างลูกศรและวัตถุชี้แจงในหมวดหมู่ปิดคาร์ทีเซียน?


21

ในคาร์ทีเซียนปิดหมวดหมู่ ( CCC ) ที่มีอยู่ที่เรียกว่าวัตถุชี้แจงเป็นลายลักษณ์อักษรBAเมื่อ CCC ถือเป็นรูปแบบของการให้เพียงแค่พิมพ์λแคลคูลัสวัตถุชี้แจงเช่นBAลักษณะพื้นที่ฟังก์ชั่นจากประเภทประเภทB แนะนำให้ใช้ลูกศรชี้แจงแทนวัตถุที่เรียกว่าc u r r y : ( A × B C ) ( A C BABและกำจัดโดยลูกศรที่เรียกว่าพีพีลิตรY : C B × B C (ซึ่งน่าเสียดายที่เรียกว่าอีโวลิตรในตำรามากที่สุดในหมวดหมู่ทฤษฎี) คำถามของฉันที่นี่คือ: มีความแตกต่างระหว่างวัตถุเลขชี้กำลัง C Bและลูกศร B Cหรือไม่curry:(A×BC)(ACB)apply:CB×BCevalCBBC


3
ในประเภทการเป็นที่ชี้แจงวัตถุแต่ในประเภททฤษฎีมันอาจจะเรียกว่าชี้แจงประเภท
Andrej Bauer

นี่ไม่ใช่คำถามระดับการวิจัย ย้ายไปที่ cs-exchange หรือไม่
Andrea Asperti

คำตอบ:


34

หนึ่งคือภายในและอื่น ๆ เป็นภายนอก

หมวดหมู่ประกอบด้วยวัตถุและ morphisms เมื่อเราเขียน: Bเราหมายความว่าเป็นซึ่มส์จากวัตถุไปยังวัตถุB เราอาจรวบรวม morphisms ทั้งหมดจากAถึงBเป็นชุดของ morphisms H o m C ( A , B )เรียกว่า "hom-set" ชุดนี้ไม่ใช่วัตถุของCแต่เป็นวัตถุของหมวดหมู่ของชุดCf:ABfABAB HomC(A,B)C

ในทางตรงกันข้ามการชี้แจงเป็นวัตถุในC มันเป็นวิธีที่ " Cนึกถึงชุดของมัน" ดังนั้นBจะต้องติดตั้งโครงสร้างสิ่งที่วัตถุของCมีBACCBAC

ตัวอย่างเช่นให้เราพิจารณาหมวดหมู่ของปริภูมิโทโพโลยี จากนั้นเป็นแผนที่ต่อเนื่องจากXถึงYและH o m T o p ( X , Y )คือชุดของแผนที่ต่อเนื่องทั้งหมด แต่ถ้าY Xมีอยู่ก็เป็นพื้นที่โทโพโลยี! คุณสามารถพิสูจน์ได้ว่าจุดของY Xคือ (ในการติดต่อกับ bijective) แผนที่ต่อเนื่องมาจากXไปY อันที่จริงแล้วสิ่งนี้ถือเป็นเรื่องทั่วไป: morphisms 1 B Af:XYXYHomTop(X,Y)YXYXXY1BA (ซึ่งคือ "จุดทั่วโลกของ ") อยู่ในการติดต่อทางชีวภาพกับ morphisms A BAเนื่องจาก H o m ( 1 , B A ) H o m ( 1 × A , B ) H o m ( A , B )AB

Hom(1,BA)Hom(1×A,B)Hom(A,B).

บางครั้งที่เราได้รับเกี่ยวกับการเขียนเลอะเทอะเมื่อเทียบกับ B ในความเป็นจริงบ่อยครั้งที่ทั้งสองนี้เป็นคำพ้องความหมายด้วยความเข้าใจว่าf : A Bอาจหมายถึง "โอ้ด้วยวิธีที่นี่ฉันหมายถึงสัญลักษณ์อื่น ๆ ดังนั้นนี่หมายความว่าfเป็นมอร์ฟิซึ่มส์จากAถึงB " ตัวอย่างเช่นเมื่อคุณเขียนลงในแกงมอร์ฟิซึ่มส์ แกง : ( A × B C ) ( A C B ) คุณควรจะเขียน แกง :BAABf:ABfAB

curry:(A×BC)(ACB)
ดังนั้นเราจึงไม่สามารถตำหนิใครได้สับสนที่นี่ Innerถูกใช้ในความรู้สึกภายในและด้านนอกในภายนอก
curry:CA×B(CB)A.

ถ้าเราทำงานในเพียงแค่พิมพ์แคลคูลัสแล้วทุกอย่างภายในเพื่อที่จะพูด ขณะนี้มีเพียงการตัดสินการพิมพ์พื้นฐาน " ทีมีประเภทB " เขียนเป็นT : B เนื่องจากที่นี่Bเป็นประเภทและประเภทสอดคล้องกับวัตถุดังนั้นเราจึงต้องชัดเจนเพื่อแทนค่าเลขชี้กำลังและลูกศรใด ๆ ในBในความหมายภายใน ดังนั้นแล้วถ้าเราเข้าใจ แกง : ( × B C ) ( C B ) เป็นคำพิพากษาพิมพ์ในλแคลคูลัส, ทั้งหมดλtBt:BBB

curry:(A×BC)(ACB)
λลูกศรอยู่ภายในดังนั้นนี้เป็นเช่นเดียวกับ ฉันหวังว่าตอนนี้มันชัดเจนว่าทำไมผู้คนใช้B AและA Bเป็นคำพ้องความหมาย
curry:((CB)A)CA×B.
BAAB

ขอบคุณสำหรับคำตอบที่ยอดเยี่ยมขจัดความลึกลับอย่างสมบูรณ์
วันที่

แน่นอน! คำอธิบายที่ดี!
Uday Reddy

แล้วอันไหนคือภายในและอันไหนภายนอก?
CMCDragonkai
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.