Теорема инъективности для гомотопически инвариантных предпучков с Витт-трансферами

В работе дано определение категории Витт-соответствий над полем характеристики, не равной 2, дано определение предпучка с Витт-трансферами, а также установлен ряд общих свойств этих объектов. В теореме 1 показывается справедливость теоремы инъективности для гомотопически инвариантного предпучка с Витт-трансферами и локального кольца гладкого многообразия. В качестве следствия получено доказательство теоремы об инъективности для функтора Витта.