nLab m-commutative monoid

Redirected from "m-commutative monoids".
Contents

Context

Additive and abelian categories

(,1)(\infty,1)-Category theory

Limits and colimits

Contents

Definition

Definition

If 𝒞\mathcal{C} is a complete (∞,1)-category, then the ∞-category of mm-commutative monoids in 𝒞\mathcal{C} is

CMon m(𝒞):=Fun mfin(Span(𝒮 m) op,𝒞), \mathrm{CMon}_m(\mathcal{C}) := \mathrm{Fun}^{m-\mathrm{fin}}(\mathrm{Span}(\mathcal{S}_m)^{\op},\mathcal{C}),

where Fun mfin\mathrm{Fun}^{m-\mathrm{fin}} refers to the category of functors which preserve (∞,1)-limits indexed by m-finite spaces.

References

Created on April 19, 2024 at 16:54:59. See the history of this page for a list of all contributions to it.