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