3 ms·

I don't think the word "sum" for disjoint union comes from category theory. It must be older than that.