Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
oh yes it does! the upper indicies $c^{(1)} \otimes c^{(2)}$ denote that they're coming from the $\beta$ action. lower indicies denote coproducts. I should note that $\beta$ isn't necessarily a coaction, but a "coaction up to $\psi$".
