A new characterisation of groups amongst monoids

Xabier García-Martínez

We prove that a monoid $M$ is a group if and only if, in the category of monoids, all points over $M$ are strong. This sharpens and greatly simplifies a result of Montoli, Rodelo a…