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.
Created on November 13, 2022 at 12:08:56. See the history of this page for a list of all contributions to it.