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