Valter - thanks for the reference. So, they didn't fail to point out the _problem_ with this attitude; they're just noting that it's "still in effect".

Mathematically this assumption that you can freely discard anything you want is described by saying "the unit for the tensor product is terminal". We'll get to that in more detail later, I hope!