Dan, I don't think that's actually a proper monoid, since \\(x \otimes I = I\\) for all \\(x\\). If \\(x \neq I\\), we want \\(x \otimes I = x\\) instead. So \\(I\\) isn't a unit.