Еще немного терминологии

- Контрагерентными копучками дело не ограничивается. Бывают еще производно контрагерируемые копучки.
- Что это такое?
- Это копучки, на которых определен производный функтор контрагератора.
- А которые не контрагерируемые, они что? Ты их контрагерируешь, контрагерируешь, а они не контрагерируются? Даже производно??
- Нет, еще хуже. Ты для них вычисляешь свой производный функтор контрагератора, и вроде все идет как по маслу. А потом выясняется, что результат зависит от аффинного покрытия, по которому ты его вычислял.
- Например?
- Например, если копучок не контрагерентен, но локально контрагерентен, его нельзя производно контрагерировать.
- Но можно производно локально контрагерировать, да?
- Да, так что бывают еще \W-локально производно контрагерируемые копучки.
- И когда их контрагерируешь, получаются комплексы локально контрагерентных копучков?
- Да нет, даже глобально контрагерентных. Просто надо это дело считать с помощью мелкого покрытия (подчиненного \W). Иначе неправильный ответ получится.