Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Let $\Delta_+$ denote the category of finite ordinal numbers with monotonic maps (the subscript indicates that $0$ is included, so this is the augmented simplex category). This has a monoidal structure (given by the sum), which is not symmetric. But we can make it symmetric in a universal way, see herehere for the general procedure. Let us denote this symmetric monoidal category by $(\Delta_+)_{\mathrm{sym}}$.

Question. What is a more "concrete" symmetric monoidal category which is equivalent to $(\Delta_+)_{\mathrm{sym}}$?

Notice that this is not the symmetric monoidal category $\mathcal{F}$ of finite sets. Whereas $(\Delta_+)_{\mathrm{sym}}$ classifies algebra objects in symmetric monoidal categories, $\mathcal{F}$ classifies commutative algebra objects in symmetric monoidal categories. Hence, there will be a strong symmetric monoidal functor $(\Delta_+)_{\mathrm{sym}} \to \mathcal{F}$, which is essentially surjective, but not fully faithful.

Let $\Delta_+$ denote the category of finite ordinal numbers with monotonic maps (the subscript indicates that $0$ is included, so this is the augmented simplex category). This has a monoidal structure (given by the sum), which is not symmetric. But we can make it symmetric in a universal way, see here for the general procedure. Let us denote this symmetric monoidal category by $(\Delta_+)_{\mathrm{sym}}$.

Question. What is a more "concrete" symmetric monoidal category which is equivalent to $(\Delta_+)_{\mathrm{sym}}$?

Notice that this is not the symmetric monoidal category $\mathcal{F}$ of finite sets. Whereas $(\Delta_+)_{\mathrm{sym}}$ classifies algebra objects in symmetric monoidal categories, $\mathcal{F}$ classifies commutative algebra objects in symmetric monoidal categories. Hence, there will be a strong symmetric monoidal functor $(\Delta_+)_{\mathrm{sym}} \to \mathcal{F}$, which is essentially surjective, but not fully faithful.

Let $\Delta_+$ denote the category of finite ordinal numbers with monotonic maps (the subscript indicates that $0$ is included, so this is the augmented simplex category). This has a monoidal structure (given by the sum), which is not symmetric. But we can make it symmetric in a universal way, see here for the general procedure. Let us denote this symmetric monoidal category by $(\Delta_+)_{\mathrm{sym}}$.

Question. What is a more "concrete" symmetric monoidal category which is equivalent to $(\Delta_+)_{\mathrm{sym}}$?

Notice that this is not the symmetric monoidal category $\mathcal{F}$ of finite sets. Whereas $(\Delta_+)_{\mathrm{sym}}$ classifies algebra objects in symmetric monoidal categories, $\mathcal{F}$ classifies commutative algebra objects in symmetric monoidal categories. Hence, there will be a strong symmetric monoidal functor $(\Delta_+)_{\mathrm{sym}} \to \mathcal{F}$, which is essentially surjective, but not fully faithful.

Source Link
HeinrichD
  • 5.5k
  • 22
  • 42

What is this symmetric simplex category, concretely?

Let $\Delta_+$ denote the category of finite ordinal numbers with monotonic maps (the subscript indicates that $0$ is included, so this is the augmented simplex category). This has a monoidal structure (given by the sum), which is not symmetric. But we can make it symmetric in a universal way, see here for the general procedure. Let us denote this symmetric monoidal category by $(\Delta_+)_{\mathrm{sym}}$.

Question. What is a more "concrete" symmetric monoidal category which is equivalent to $(\Delta_+)_{\mathrm{sym}}$?

Notice that this is not the symmetric monoidal category $\mathcal{F}$ of finite sets. Whereas $(\Delta_+)_{\mathrm{sym}}$ classifies algebra objects in symmetric monoidal categories, $\mathcal{F}$ classifies commutative algebra objects in symmetric monoidal categories. Hence, there will be a strong symmetric monoidal functor $(\Delta_+)_{\mathrm{sym}} \to \mathcal{F}$, which is essentially surjective, but not fully faithful.