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