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