symmetric monoidal (∞,1)-category of spectra
The formal dual of unitality:
An object in a monoidal category which is equipped with a comultiplication map which satisfies both co-unitality and co-associativity is called a co-monoid.
Given a monoidal category $(\mathcal{C}, \otimes)$ and an object $A$ in $\mathcal{C}$ equipped with a morphism (“co-multiplication”) $\Delta \colon A \longrightarrow A \otimes A$, and a morphism $\epsilon \colon A \longrightarrow I$, $\epsilon$ is called a counit if the following diagrams commute
where $I$ is the unit of the monoidal category and $\lambda, \rho$ are the left and right unitors respectively.
Last revised on May 11, 2024 at 19:36:15. See the history of this page for a list of all contributions to it.