posic | Интересная какая судьба задачи про копроизводные категории в моем смысле

версус копроизводные категории в смысле Беккера. С одной стороны, вопрос формально остается открытым, контрпримера нет. Я надеялся на доказательство и перестал надеяться. С другой стороны, очень многое вокруг понято. Задача не решилась, но как бы постепенно рассасывается. Перестает казаться важной открытой проблемой, торчащей, как заноза. Начинает выглядеть не столько задачей, сколько логичной, естественной частью ландшафта.