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 and an object in equipped with a morphism (“co-multiplication”) , and a morphism , is called a counit if the following diagrams commute
Last revised on October 25, 2023 at 06:33:05. See the history of this page for a list of all contributions to it.