nLab G-commutative monoid

Redirected from "G-commutative monoids".
Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Stable Homotopy theory

Contents

Definition

Definition

If 𝒞\mathcal{C} is a G-∞-category, then the GG-\infty-category of GG-commutative monoid objects in 𝒞\mathcal{C} is

CMon̲ G:=Fun̲ G(Span(𝔽 G),𝒞), \underline{\mathrm{CMon}}_G := \underline{\mathrm{Fun}}_G(\mathrm{Span}(\mathbb{F}_G),\mathcal{C}),

where Span(𝔽 G)\mathrm{Span}(\mathbb{F}_G) is the category of correspondences in finite G-sets.

References

Last revised on April 19, 2024 at 19:18:04. See the history of this page for a list of all contributions to it.