Еще терминологическое

Копучки у меня бывают:
- контрагерируемые, производно контрагерируемые (contrahereable, derived contrahereable)
- контрагерентные, локально контрагерентные (contraherent, locally contraherent)
- локально кокручения, локально инъективные (locally cotorsion, locally injective)
- проективные (projective)
- проективные локально кокручения (projective locally cotorsion) [этот класс не содержится в предыдущем]
- коприспособленные, приспособленные, ацикличные, ... (coadjusted, adjusted, acyclic, ...)
- плоские (flat)
- колокально проективные (colocally projective)
- колокально плоские (colocally flat) [этот класс содержится в предыдущем]
- ковялые (coflasque)

Последним классом я как раз только что обзавелся и радуюсь. На локально нетеровых схемах он полезен, видимо (особливо ежели которые конечной размерности Крулля).

Математическое, разное

1. Редко какой из моих тестов, по нынешним временам, обходится без ссылки на книжку про квадратичные алгебры. Не обошелся и текст про контрагерентные копучки. При чем тут, казалось бы? А при том, что вялые пучки (скажем, на нетеровых аффинных схемах) -- это такие дистрибутивные решетки подмодулей. Ковялые копучки, тем более.

2. Открыл следующий паттерн рассуждения. Докажем сначала утверждение для полуотделимых (или полуотделимых квазикомпактных) схем, пользуясь аффинными покрытиями и аффинностью пересечений. Потом тем же способом докажем то же утверждение для произвольных (или квазиотделимых квазикомпактных) схем, пользуясь полуотделимыми покрытиями и полуотделимостью пересечений.