graded monoid

A graded monoid Φ\Phi in a symmetric monoidal category 𝒱\mathcal{V} is the data of

  • for each nNn \in \mathbf{N}, an object Φ n\Phi_n,
  • for each m,nNm,n \in \mathbf{N}, a morphism
    Φ mΦ nΦ m+n \Phi_m \otimes \Phi_n \to \Phi_{m+n}

    such that the obvious associativity and unit axioms hold.

Thus, a graded monoid is in particular a graded object. In fact, a graded monoid is just a monoid in the monoidal category of graded objects of 𝒱\mathcal{V}.


See also

Last revised on February 17, 2016 at 11:12:24. See the history of this page for a list of all contributions to it.