Про-симплициальный набор - Pro-simplicial set

В математика, а про-симплициальный набор является обратная система из симплициальные множества.

Про-симплициальное множество называется конечный если каждый член обратной системы симплициальные множества имеет конечный гомотопические группы.

Про-симплициальные наборы проявляются в теория формы, при изучении локализации и пополнения в теории гомотопий, а также при изучении гомотопических свойств схем (например, этальная теория гомотопии ).

Рекомендации

  • Эдвардс, Дэвид А .; Гастингс, Гарольд М. (1980), «Теория Чеха: ее прошлое, настоящее и будущее», Математический журнал Скалистых гор, 10 (3): 429–468, Дои:10.1216 / RMJ-1980-10-3-429, Г-Н  0590209.
  • Эдвардс, Дэвид А .; Гастингс, Гарольд М. (1976), Гомотопические теории Чеха и Стинрода с приложениями к геометрической топологии, Конспект лекций по математике, Vol. 542, Springer-Verlag, Берлин-Нью-Йорк, Г-Н  0428322.