На такое утверждение опирается одна работа, которую сейчас разбираю. Мне оно не очевидно. Очевидно другое, что для каждой пары стрелок (с общим кодоменом) из слагаемых есть стрелка из суммы и её можно как раз считать суммой стрелок - это по определению. Фактически, тут утверждается и обратное.
Символически. Пусть есть A, B, A+B, X - обекты в C.
(
Read more... )