I think I understand what ⊗ means when applied to objects (such as M ⊗ M), but what does it mean when applied to morphisms (such as η⊗1). Is it just composition?
