หนึ่งคือภายในและอื่น ๆ เป็นภายนอก
หมวดหมู่ประกอบด้วยวัตถุและ morphisms เมื่อเราเขียนฉ: → Bเราหมายความว่าฉเป็นซึ่มส์จากวัตถุไปยังวัตถุB เราอาจรวบรวม morphisms ทั้งหมดจากAถึงBเป็นชุดของ morphisms H o m C ( A , B )เรียกว่า "hom-set" ชุดนี้ไม่ใช่วัตถุของCแต่เป็นวัตถุของหมวดหมู่ของชุดCf:A→BfABAB 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:X→YXYHomTop(X,Y)YXYXXY1→BA (ซึ่งคือ "จุดทั่วโลกของ ") อยู่ในการติดต่อทางชีวภาพกับ morphisms A →BAเนื่องจาก
H o m ( 1 , B A ) ≅ H o m ( 1 × A , B ) ≅ H o m ( A , B )A→B
Hom(1,BA)≅Hom(1×A,B)≅Hom(A,B).
บางครั้งที่เราได้รับเกี่ยวกับการเขียนเลอะเทอะเมื่อเทียบกับ→ B ในความเป็นจริงบ่อยครั้งที่ทั้งสองนี้เป็นคำพ้องความหมายด้วยความเข้าใจว่าf : A → Bอาจหมายถึง "โอ้ด้วยวิธีที่นี่ฉันหมายถึงสัญลักษณ์อื่น ๆ ดังนั้นนี่หมายความว่าfเป็นมอร์ฟิซึ่มส์จากAถึงB " ตัวอย่างเช่นเมื่อคุณเขียนลงในแกงมอร์ฟิซึ่มส์
แกง : ( A × B → C ) → ( A → C B )
คุณควรจะเขียน
แกง :BAA→Bf:A→BfAB
curry:(A×B→C)→(A→CB)
ดังนั้นเราจึงไม่สามารถตำหนิใครได้สับสนที่นี่
→ Innerถูกใช้ในความรู้สึกภายในและด้านนอกในภายนอก
curry:CA×B→(CB)A.
→
ถ้าเราทำงานในเพียงแค่พิมพ์แคลคูลัสแล้วทุกอย่างภายในเพื่อที่จะพูด ขณะนี้มีเพียงการตัดสินการพิมพ์พื้นฐาน " ทีมีประเภทB " เขียนเป็นT : B เนื่องจากที่นี่Bเป็นประเภทและประเภทสอดคล้องกับวัตถุดังนั้นเราจึงต้องชัดเจนเพื่อแทนค่าเลขชี้กำลังและลูกศรใด ๆ ในBในความหมายภายใน ดังนั้นแล้วถ้าเราเข้าใจ
แกง : ( × B → C ) → ( → C B )
เป็นคำพิพากษาพิมพ์ในλแคลคูลัส, ทั้งหมดλtBt:BBB
curry:(A×B→C)→(A→CB)
λลูกศรอยู่ภายในดังนั้นนี้เป็นเช่นเดียวกับ
ฉันหวังว่าตอนนี้มันชัดเจนว่าทำไมผู้คนใช้
B Aและ
A → Bเป็นคำพ้องความหมาย
curry:((CB)A)CA×B.
BAA→B