นักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีได้ทำหลายสิ่งซึ่งหนึ่งในนั้นคือการสร้างแบบจำลองทางคณิตศาสตร์ของสิ่งต่างๆ ตัวอย่างเช่นเราต้องการจัดทำแบบจำลองทางคณิตศาสตร์ของภาษาการเขียนโปรแกรมเพื่อให้ผู้คนสามารถพิสูจน์สิ่งต่าง ๆ เกี่ยวกับโปรแกรม (เช่นการพิสูจน์ว่าโปรแกรมทำสิ่งที่ควรจะเป็น) ในแง่นี้มันเป็นเรื่องดีเสมอที่จะมีเทคนิคทางคณิตศาสตร์มากมายที่จะทำให้เรามีแบบจำลองสำหรับสิ่งต่าง ๆ ที่นักวิทยาศาสตร์คอมพิวเตอร์คิดขึ้นมา
ในความเป็นจริงนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีต้องคิดค้นแบบจำลองทางคณิตศาสตร์ขั้นสูงบางอย่างเพราะพวกเขาต้องการได้รับกราฟคณิตศาสตร์ที่ดีของสิ่งที่นักวิทยาศาสตร์คอมพิวเตอร์ทำ บ่อยครั้งที่การตั้งทฤษฎีคลาสสิกก็พอไม่ดีสำหรับวัตถุประสงค์ของเราตัวอย่างเช่นเพราะเราต้องการไม่ใช่ tivial หมวดสินค้าขนาดเล็กที่สมบูรณ์หรือไม่น่ารำคาญชุดความพึงพอใจ DD ≅ D DDD≅DD
เมื่อเร็ว ๆ นี้การเชื่อมต่อระหว่างทฤษฎีประเภท (ซึ่งเป็นลักษณะทั่วไปของภาษาโปรแกรมตรรกะและทฤษฎีเซต) และทฤษฎี homotopy ได้รับการเปิดเผย มันยังเร็วมากที่จะบอกว่าอะไรจะเกิดขึ้นจริง ๆ แต่ความเข้าใจของเราเกี่ยวกับทฤษฎีประเภทได้รับการพัฒนาขึ้นอย่างแน่นอนโดยแนวคิด homotopy-theoretic ในทางกลับกันมันก็กลายเป็นที่ชัดเจนว่าทฤษฎีประเภท intensional อะไรก็ตามที่เป็นภาษาทางการที่ดีมากสำหรับการอธิบายหมวดหมู่ คนสงสัยว่าควรจะมี "ทฤษฎีประเภทชี้นำ" ซึ่งจะสอดคล้องกับหมู่ แต่ยังไม่มีใครแน่ใจ นี่คือพื้นที่ของการวิจัยที่ใช้งานอยู่∞(∞,1)∞
การเชื่อมต่อระหว่างทฤษฎีเสถียรภาพฮอมอโทและทฤษฎีประเภทฉันรู้คือการทำงานของ Matthijs Vákárบนเส้นตรงประเภททฤษฎีขึ้น เห็นได้ชัดว่ารูปแบบหนึ่งของมันคือทฤษฎี homotopy ที่มีความเสถียร แต่สิ่งนี้ยังไม่ได้รับการตีพิมพ์
สถานที่ที่คุณสามารถมองสำหรับการใช้งานของทฤษฎี homotopy (มีเสถียรภาพหรือไม่) ในสาขาวิทยาศาสตร์คอมพิวเตอร์ก็คือโครงสร้างการคำนวณ มีลักษณะคล้ายคลึงกันถาวรเมื่อเร็ว ๆ นี้พบว่ามีการใช้งานมากมายและผู้คนกำลังมองหาการประยุกต์ใช้ในทางทฤษฏี homotopy ประเภทเดียวกัน แนวคิดพื้นฐานคือการใช้โทโพโลยีพีชคณิตเพื่อศึกษาคุณสมบัติของชุดข้อมูลขนาดใหญ่
ไม่ต้องสงสัยเลยว่ามีแอปพลิเคชั่นอื่น ๆ โคดี้กล่าวถึงการใช้ทฤษฎี homotopy (ในหน้ากากของทฤษฎีแบบ homotopy) เพื่อศึกษาระบบควบคุมการแก้ไข นอกจากนี้ยังมีการประยุกต์ใช้ทฤษฎี homotopy เพื่อศึกษาการคำนวณแบบขนานและแบบ cuncurrent เช่น " พีชคณิตทอพอโลยีและการเกิดพร้อมกัน " คนที่มีความรู้มากกว่านี้อาจใจดีพอที่จะให้การอ้างอิงที่ดีกว่า ไม่ว่าในกรณีใดคุณจะสังเกตเห็นว่าแอปพลิเคชั่นเหล่านี้ทั้งหมด (ยกเว้นทฤษฎีโฮโมสโตปแบบที่เป็นไปได้) นั้นค่อนข้างไม่ซับซ้อนจากมุมมองทางคณิตศาสตร์ - ซึ่งไม่ได้หมายความว่ามันไร้ค่า!