Предаддитивные категорииКажется, что предаддитивная категория в смысле раздела 1.3 статьи [1] --- это то же самое, что категория, в которой конечные произведения и копроизведения существуют и коммутируют друг с другом. Предупреждение: может это и неверно, я подробно не проверял.
С другой стороны, стандартный морфизм из коядра ядра в ядро коядра как-то смутно смахивает чисто по формулировке на морфизм перестановки пределов. Интересно, нет ли тут какой-то связи тоже.
[1]:
https://arxiv.org/abs/2112.02155
Tags: math
![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small}