posic ([personal profile] posic) wrote2025-06-09 04:53 pm

Тринадцать лет назад: Контрагерентность копучка -- нелокальное свойство

Вот математический ЖЖ-постинг от 9 июня 2012 года -- https://posic.dreamwidth.org/788941.html . А вот короткий постинг в Фейсбуке, датированный тем же днем -- https://www.facebook.com/posic/posts/pfbid02sPVUzDFMh14h1oFD9ERR1fUBsVuqZtK8HqwwcjCnJu4kvWpimxCggEkiuhydLBoQl :

"OK, so contraherence of a cosheaf of O_X-modules is not a local property, and neither is that of a morphism of contraherent cosheaves to be an admissible monomorphism. Now I know that for sure. Nothing can be done about it."

Это открытие контрпримера определило облик теории контрагерентных копучков на годы вперед.