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