symmetric monoidal (∞,1)-category of spectra
The formal dual of associativity.
Given a monoidal category and an object in equipped with morphism (“co-multiplication”) , then this is co-associative if the following diagram commutes
If in addition there is a counit on for which the coproduct satisfies co-unitality, then is called a co-monoid in .
Last revised on November 13, 2022 at 12:06:11. See the history of this page for a list of all contributions to it.