2 ms·
The direct sum of an indexed family is not a function of two variables, so it is meaningless to talk about its commutativity.
by bmacho 4y ago
The direct sum of an indexed family is not a function of two variables, so it is meaningless to talk about its commutativity.