![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicчто немалая часть его путешествия сведется к тщательному обследованию тупиков.
Чем дальше, тем больше мне теперь кажется, что ко/контрапроизводные категории в смысле Беккера просто лучше ко/контрапроизводных категорий в моем смысле, что у моих определений нет по-настоящему важных преимуществ по сравнению с беккеровскими. В защиту моего подхода сейчас можно разве что сказать, что он производит на свет также абсолютные производные категории, которых в беккеровском смысле не бывает.
Короче, доказал я тут еще одно техническое утверждение. Перенес очередной мой старый результат про мои контрапроизводные категории в беккеровский контекст.
Чем дальше, тем больше мне теперь кажется, что ко/контрапроизводные категории в смысле Беккера просто лучше ко/контрапроизводных категорий в моем смысле, что у моих определений нет по-настоящему важных преимуществ по сравнению с беккеровскими. В защиту моего подхода сейчас можно разве что сказать, что он производит на свет также абсолютные производные категории, которых в беккеровском смысле не бывает.
Короче, доказал я тут еще одно техническое утверждение. Перенес очередной мой старый результат про мои контрапроизводные категории в беккеровский контекст.
