Мелкое замечание про аддитивные категорииСейчас будет короткий поток сознания.
Похоже, преаддитивная категория аддитивна тогда и только тогда, когда квадрат ассоциативности кодиагонали декартов.
Потому что, наверное, моноид в категории является группой тогда и только тогда, когда его квадрат ассоциативности декартов, смотри [1].
Предупреждение: это запросто может быть и неверным, я подробно не проверял.
Но условие декартовости квадрата ассоциативности кодиагонали имеет смысл и без требования преаддитивности. Интересно, в других контекстах оно где-нибудь встречалось?
[1]
https://twitter.com/CihanPostsThms/status/1656363838713786385
Tags: math, неважное