Also known as symetrisation, Grothendieck construction, group of differences
Abelian group constructed universally from a commutative monoid
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).