A new characterisation of groups amongst monoids (Q1681850)

Let \(\mathcal C\) be a finitely complete pointed catgeory. A pair of arrows \((r:W\to X,s:Y\to X)\) is \textit{jointly strongly epimorphic} if the following condition holds: if there exist a monomorphism \(m:M\to X\) and arrows \(r':W\to M\) and \(s':Y\to M\) such that \(mr'=r\) and \(ms'=s\), then \(m\) is an isomorphism. A \textit{point} on an object \(Y\) of \(\mathcal C\) is a pair of morphisms \((f:X\to Y,s:Y\to X)\) such that \(fs=1_Y\). Such point is called \textit{strong} if the pair \((\ker(f): \ker(f)\to X, s : Y\to X)\) is jointly strongly epimorphic. This short article is a direct proof of the fact that a monoid is a group if and only if all points over it are strong.