The monoids tag has no wiki summary.

**20**

votes

**0**answers

559 views

### Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

For a (discrete) monoid $M$, the classifying space $BM$ is the
geometric realization of the nerve of the one object category whose
hom-set is $M$. (This definition gives the usual classfiying space
...

**14**

votes

**0**answers

600 views

### Is the category of smooth manifolds equivalent to the opposite category of the category of commutative monoids of some additive symmetric monoidal category?

This is a followup to my previous question, which asked whether
the category of commutative or noncommutative C*-algebras or von Neumann algebras
is equivalent to the category of commutative or ...

**5**

votes

**0**answers

106 views

### Reference for a generalization of Γ-spaces to monoidal model categories

Γ-spaces were introduced by Segal in 1969 as models for what can be now described
as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...

**5**

votes

**0**answers

330 views

### Duality between conjugacy classes and irreducible characters for finite monoids?

Qiaochu's answer to this question suggests that the proper way to view the bijection between conjugacy classes and irreducible complex representations of a finite group is via a duality. My question ...

**5**

votes

**0**answers

792 views

### Associative binary operations on natural numbers

Which are all the associative binary operations on natural numbers ?
Certain results in this regard can be found in arxiv:math/0508215.
It appears that such associative operations cannot grow too ...

**5**

votes

**0**answers

327 views

### Chain/Hierarchy of Monoids

Let's assume that we have the following collection of structures:
Some space $P$.
Monoids $(M_{i+1},\circ_{i+1})$, and
Actions $\bullet_{i+1}:M_{i+1}\times M_i\to M_i$, for $i\ge 0$
And ...

**4**

votes

**0**answers

211 views

### What is the pro-algebraic completion of the free semigroup on one generator?

This question is motivated by an attempt to understand what is going on in Tom's post from a certain point of view.
Let $\mathbb N^+$ be the free semigroup on one generator (so the positive natural ...

**4**

votes

**0**answers

223 views

### When is the cofibrant replacement of a product the product of the cofibrant replacements?

I'm in a situation where I'd like to prove $Q(E\otimes E) \simeq QE \otimes QE$ for a monoid $E$ in a symmetric monoidal model category. I know it's not true in general that $Q(E\otimes F)\simeq QE ...

**3**

votes

**0**answers

111 views

### Correspondence between numerical semigroups and polynomials?

A numerical semigroup $A$ is defined as a subsemigroup of the semigroup $(\mathbb{N},+)$ of the positive integers such that the set $\mathbb{N}\setminus A$ is finite. Equivalently (for a subsemigroup) ...

**3**

votes

**0**answers

116 views

### What is the combinatorial data classifying non-normal affine toric varieties?

Recall that a toric variety is a variety $V$ containing an open dense algebraic torus. Here an algebraic torus means a finite product of copies of the multiplicative group of the ground field (which I ...

**3**

votes

**0**answers

135 views

### determine if a toric variety is Gorenstein

Let $G$ a simply connected group over $k$ and $car(k)=0$.
Let $T_{+}=(T\times T)/Z_{G}$ we consider the closure $\overline{T}_{+}$ of the torus $T_{+}$ in $\prod ...

**3**

votes

**0**answers

235 views

### Is there a homological way to compute quiver presentations?

I have recently been studying with colleagues the representation theory of certain finite monoids that come up in probability theory and combinatorics, see Ken Brown's beautiful survey here.
These ...

**3**

votes

**0**answers

598 views

### Is the radical of a homogeneous ideal homogeneous?

Let $S$ be an $M$-graded $R$-algebra, where $M$ is some monoid, and $I\subset S$ an homogeneous ideal. The original, naïve, question, was: is it true that $\sqrt{I}$ is homogeneous? In this ...

**2**

votes

**0**answers

91 views

### Orbit-Stabilizer theorem for continuous groups

The orbit-stabilizer relationship (also known as the orbit-stabilizer theorem) is very clear for finite groups. Is there an equivalent relation for continuous groups?
Also, is there a similar notion ...

**2**

votes

**0**answers

86 views

### Reasoning about “approximately” associative structures and “almost monoids”.

If $(M,+)$ is a monoid then it obeys the laws:
$$m_1 + 0 = 0 + m_1 = m_1$$
$$m_1+(m_2+m_3)=(m_1+m_2)+m_3$$
But what if I have a structure $(A,+)$ that is almost a monoid, but not quite. For ...

**1**

vote

**0**answers

52 views

### Pseudomodules, “general coherence theorem”

A pseudomonoid is defined within a monoidal bicategory. It is like a monoid in a monoidal category except that the usual axioms hold up to coherent invertible 2-cells. Pseudomonoid is like a monoidal ...

**1**

vote

**0**answers

79 views

### First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric

This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions.
We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...

**0**

votes

**0**answers

60 views

### Monoid action on an uncountably infinite set

The action of a monoid on a finite set is equivalent to a finite state machine, however I would like a categorical way to think about an uncountably infinite state machine (a state transition ...