Гомотопически устойчивый аналог симплициального объекта

Рассматривается вопрос построения гомотопически устойчивого аналога симплициального объекта. Предъявляется конструкция высших симплициальных операторов, доказывается теорема об их существовании на гомологиях цепного комплекса. Доказательство теоремы существования конструктивно, что позволяет строить полученные высшие симплициальные множества как гомотопически устойчивые аналоги симплициальных на гомологиях цепных комплексов.