Let $(C, \otimes, 1) $ be monoidal category with initial object $0$. Is it true that $0 \otimes a \simeq 0$ for all $a \in C$?
It is true in Set with cartesian product, $R-$modules with usual tensor product and $\mathrm{End}(A)$ the category of endofunctor of some category $A$ with composition. But is it true in general?