Пучкование в топологии Нисневича гомотопически инвариантного предпучка с Witt-трансферами

Дано определение категории конечных Witt-соответствий и понятие предпучка с Witt-трансферами. Доказаны инъективность на аффинной прямой и изоморфизмы вырезания на аффинной прямой и этального вырезания на кривых. Доказана гомотопическая инвариантность пучка Нисневича ассоциированного с гомотопически инвариантным предпучком с Witt-трансферами и вычислены когомологии (по Нисневичу) от этого пучка на аффинной прямой.