幺半群同态