Non-finite generation conjecture for non-zero CQP monoids

Let MM be a CQP monoid, meaning a monoid satisfying the CQP property defined earlier in the paper. The conjecture is:

Non-finite generation conjecture. If MM is a non-zero CQP monoid, then MM is not finitely generated as a monoid.

This conjecture concerns the generation of CQP monoids, with the universal CP monoid UU as a motivating example. The supplied text does not state whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Aaron Gray and Keith Pardue, “Products in a Category with One Object”, arXiv:1604.03999 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.