ช่องว่างการเชื่อมโยงกันมี pullbacks และ pushouts?


12

XX(X,X)f:XYfX×Y(x,y)f(x,y)f

  1. ถ้าดังนั้นและxXxyYy
  2. ถ้าและแล้วx'xXxy=yx=x

หมวดหมู่ของช่องว่างการเชื่อมโยงกันเป็นทั้งคาร์ทีเซียนและ monoidal ปิด ฉันต้องการที่จะรู้ว่าเมื่อ pullbacks หรือ pushouts มีอยู่สำหรับหมวดหมู่นี้และเมื่อมีอนาล็อกแบบ monoidal บางส่วนของ pullbacks หรือ pushout อยู่ (และวิธีการกำหนดในกรณีที่แนวคิดนี้เหมาะสม)


คำนิยามนี้มาจากไหน? Lafont & Taylor ดูแตกต่างกันมาก
Charles Stewart

คำจำกัดความทั้งสองนั้นเทียบเท่ากัน ฉันแค่เอาเว็บเป็นดึกดำบรรพ์ซึ่งชุดของ cliques สามารถรับได้
Neel Krishnaswami

ฉันพบว่าการเลือกคำจำกัดความของ Neel สามารถเข้าใจได้ง่ายกว่าต้นฉบับ
Dave Clarke

3
ฉันจะระบุคำถามที่ชัดเจน: คุณรู้ไหมว่ามันไม่ได้มีอยู่ตลอดไป? กล่าวอีกนัยหนึ่งคุณคุ้นเคยกับตัวอย่างของนักแสดงตลกเกี่ยวกับความสัมพันธ์ที่เชื่อมโยงกันที่ไม่มีขีด จำกัด / colimit หรือไม่?
Ohad Kammar

1
คำจำกัดความทั้งสองนั้นเทียบเท่ากัน - ใช่ แต่คุณคิดคำนิยามนี้หรือคุณได้มาจากคนอื่น? คำถามที่ยอดเยี่ยม btw ฉันแปลกใจที่ไม่มีใครรู้ว่าอีควอไลเซอร์อยู่เสมอ
Charles Stewart

คำตอบ:


5

ตอนนี้ฉันจะดูวิธีการกำหนดอีควอไลเซอร์สำหรับช่องว่างที่เชื่อมโยงกันซึ่งหมายถึง pullbacks อยู่เสมอ (ตั้งแต่ผลิตภัณฑ์มี) ฉันไม่รู้วิธีการทำเช่นนี้จริง ๆ แล้ว ....

จงระลึกไว้ว่าองค์ประกอบนั้นเป็นองค์ประกอบเชิงสัมพันธ์ตามปกติดังนั้นหากและดังนั้น:f:ABg:BC

f;g={(a,c)A×C|bB.(a,b)f(b,c)g}

(ในคำจำกัดความนี้อัตถิภาวนิยมหมายถึงการดำรงอยู่ที่เป็นเอกลักษณ์สมมติว่าเรามีเช่นนั้นและเนื่องจากเรารู้ว่านี่หมายความว่าจากนั้นนี่หมายความว่าเรามีและและดังนั้น )bB(a,b)f(b,c)gaAabBbbBb(b,c)g(b,c)gb=b

ตอนนี้เราสร้างอีควอไลเซอร์ สมมติว่าเรามีพื้นที่เชื่อมโยงกันและและ morphismsB ตอนนี้กำหนดอีควอไลเซอร์ดังนี้ABf,g:AB(E,e:EA)

  1. สำหรับเว็บใช้ สิ่งนี้เลือกชุดย่อยของโทเค็นของที่และเห็นด้วย (ขึ้นอยู่กับการเชื่อมโยงกัน - ฉันผิดในรุ่นแรกของฉัน ) หรือทั้งคู่ไม่ได้กำหนด

    E={b.(a,b)faAa.(a,b)gaAb.(a,b)gaAa.(a,b)f}
    Afg
  2. กำหนดความสัมพันธ์ที่สอดคล้องกันใน\} นี่เป็นเพียงข้อ จำกัด ของความสัมพันธ์เชื่อมโยงกันในกับเซตEสิ่งนี้จะสะท้อนกลับและสมมาตรเนื่องจากคือE={(a,a)A|aEaE}AEA

  3. แผนที่ของควอไลเซอร์เป็นเพียงเส้นทแยงมุม\}ee:EA={(a,a)|aE}

ตั้งแต่ฉันทำข้อพิสูจน์รุ่นแรกของฉันฉันจะให้คุณสมบัติความเป็นสากลอย่างชัดเจน สมมติว่าเรามีวัตถุอื่น ๆและซึ่มส์เช่นที่กรัมXm:XAm;f=m;g

ตอนนี้กำหนดเป็น\} เห็นได้ชัดว่าแต่เพื่อแสดงความเสมอภาคที่เราต้องการที่จะแสดงการสนทนาฉันh:XE{(x,a)|aE}h;immh;i

ดังนั้นสมมติm ตอนนี้เราต้องแสดงให้เห็นว่าและF(x,a)mb.(a,b)faAa.(a,b)gb.(a,b)gaAa.(a,b)f

แรกสมมติและF ดังนั้นเรารู้ว่าและดังนั้นฉ ดังนั้นและเพื่อให้มีเป็นดังกล่าวว่าและกรัม ตั้งแต่เรารู้ว่าและเพื่อให้มีเป็นดังกล่าวว่ากรัมbB(a,b)f(x,a)m(a,b)f(x,b)m;f(x,b)m;gaA(x,a)m(a,b)gxxaaaa(a,b)g

แฟ่สมมติและกรัม ดังนั้นเรารู้ว่าและดังนั้นกรัม ดังนั้นและเพื่อให้มีเป็นดังกล่าวว่าและF ตั้งแต่เรารู้ว่าและเพื่อให้มีเป็นดังกล่าวว่าFbB(a,b)g(x,a)m(a,b)g(x,b)m;g(x,b)m;faA(x,a)m(a,b)fxxaaaa(a,b)f


ฉันไม่เห็นวิธีการที่คุณสามารถพิสูจน์ได้ว่าสากล มีทางเดียวที่จะแยกปัจจัยและนั่นคือโดยการตั้งค่าเป็น\} เห็นได้ชัดว่าแต่ผมไม่เห็นว่าทำไมการสนทนาถือ: ใช้เวลาบางส่วนและบางกับAFBแล้วเรามีเพราะฉะนั้นจาก 's ทางเลือกที่เรามีข จากนิยามขององค์ประกอบที่มีอยู่บางส่วนดังกล่าวว่าและa'gbเราสามารถอนุมานได้ว่าem:XAh:XEh:={(x,a):(x,a)m,aE}h;emxmabBafbx(m;f)bmx(m;g)baxmaagba\sympaแต่เรารู้เพียงว่าและดังนั้นเราจึงไม่สามารถอนุมานได้ว่าและเสร็จสิ้น afbagba=a
Ohad Kammar

ใช่คุณพูดถูก - เซตย่อยที่อีควอไลเซอร์เลือกนั้นต้องขึ้นอยู่กับความสอดคล้องไม่ใช่ความเท่าเทียมกัน ฉันได้เปลี่ยนคำจำกัดความเพื่อสะท้อนถึงสิ่งนี้และให้การพิสูจน์แผนภาพที่ชัดเจน
Neel Krishnaswami

อ่า ... แต่ตอนนี้ไม่เท่ากันแผนภาพ อันที่จริงถือว่าข แล้วโดย 's นิยามเรามีจึงมีอยู่บางดังกล่าวว่าa'gbแต่เราไม่ได้ว่าดังนั้นเราจึงไม่สามารถแสดงให้เห็นว่าข ดูเหมือนว่าคุณจะพบปัญหาเดียวกันกับที่ฉันพบเมื่อคืนดังนั้นคำถามที่ชัดเจนของฉันด้านบน แต่บางทีคุณอาจจะประสบความสำเร็จในสิ่งที่ฉันล้มเหลว! ขั้นตอนต่อไปของฉันคือการใช้ซับซ้อนมากขึ้นพูดอะไรบางอย่างเช่นแต่นั้นไม่ใช่มอร์ฟิซึ่มส์ที่ถูกต้องดังนั้นจึงจำเป็นต้องมีทางเลือกที่ระมัดระวังมากกว่า ea(e;f)beafba\sympaagbaeaa(e;g)beaeaa\sympae
Ohad Kammar

ตอนนี้ฉันจำได้ว่าทำไมฉันจึงหวังว่าคำตอบนั้นจะอยู่ในวิทยานิพนธ์ของใครบางคนอยู่แล้ว :) อย่างไรก็ตามฉันจะคิดถึงมันมากกว่านี้ - อาจมีกลอุบายที่เป็นไปได้ผ่านความจริงที่ว่าภาพผกผันนั้นไม่สัมพันธ์กัน
Neel Krishnaswami
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.