Universal Property of Abelianisation