symmetric monoidal (∞,1)-category of spectra
Sweedler notation is a special notation for discussion of operations in coalgebras
If is a coassociative? coalgebra and then for , the comultiplication maps to an element in which is therefore a sum of the form . Sweedler suggests that we do not make up new symbols like and but rather use composed symbols and . Therefore
Sweedler notation means that for certain manipulations involving just generic linear operations we actually do not need to think of the summation symbol , so we can just write
with or even without summation sign. Surely in either case we need to remember that we do not have a factorization but we do have a sum of possibly more than one entry. One can formalize in fact which manipulations are allowed with such a reduced notation.
It gets more useful, when we take into account coassociativity to justify extending the notation to write
Furthermore, we can extend it to coactions, e.g. , by . Then we can use the coaction axiom to write
where we used the sumless Sweedler notation.
On big use is that the scalars like can be moved freely along the expression, which is difficult to write without calculating with Sweedler components: one would need lots of brackets and flip operators, and this could be messy and abstract.
The notation is named after Moss Sweedler. Sometimes (though rarely) it is also called Heyneman-Sweedler notation.