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

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