พื้นที่ซิมพลิเชียล
ในทางคณิตศาสตร์พื้นที่ซิมพลิเชียลคือวัตถุซิมพลิเชียลในหมวดหมู่ของพื้นที่โทโพโลยีกล่าวอีกนัยหนึ่งคือเป็นฟังก์ชันคอนทราแวเรียนต์จากหมวดหมู่ซิมเพล็กซ์ Δ ไปยังหมวดหมู่ของพื้นที่โทโพโลยี[ 1 ]
หมวดหมู่ Segal [ 2 ]เป็นพื้นที่ซิมพลิเชียลชนิดหนึ่ง ซึ่งเป็นแบบจำลองของหมวดหมู่อนันต์ที่Hirschowitz & Simpson (1998) แนะนำ โดยอิงจากงานของGraeme Segalในปี 1974
ปริภูมิเซกัล ( Segal space)คือปริภูมิเชิงซิมพลิเชียล (simplicial space) ที่สอดคล้องกับเงื่อนไขพูลแบ็ก (pullback conditions) บางประการทำให้ดูเหมือนเป็นเวอร์ชันโฮโมโทปิก (homotopic version) ของหมวดหมู่ (category) กล่าวให้แม่นยำยิ่งขึ้น เซตเชิงซิมพลิเชียล (simplicial set ) ซึ่งถือว่าเป็นปริภูมิเชิงซิมพลิเชียลแบบไม่ต่อเนื่อง (simplicial discrete space) จะสอดคล้องกับเงื่อนไขเซกัลก็ต่อเมื่อมันเป็นแกนหลักของหมวดหมู่ (nerve) เท่านั้น เงื่อนไขสำหรับปริภูมิเซกัลเป็นเวอร์ชันโฮโมโทปิกของสิ่งนี้ ปริภูมิเซกัลที่สมบูรณ์ (complete Segal spaces) ถูกนำเสนอโดยRezk (2001)ในฐานะแบบจำลองสำหรับ หมวดหมู่ (∞, 1)
หมายเหตุ
- ↑ Baues 1995 , หน้า8
- ↑เบิร์กเนอร์ 2007