الرياضيات, الطوبولوجيا الجبرية, الهندسة الجبرية, نظرية المجموعاتالمجموعة شبه المبسطة الأولية (Pro-simplicial Set)