A tensor triangulated category is a category that carries the structure of a symmetric monoidal category and of a triangulated category in a compatible way. There are different variants of the definition in the literature, asking for successively more structure. To start with, a tensor triangulated category must be at least a category equipped with the structure of a symmetric monoidal category (“tensor category”); the structure of a triangulated category for all objects natural...