isomorphism -> Identity arrow
multiplication, Unit element = 1
string concatenation, Unit element = "" (empty string)
one element is the Unit element