Suppose $ \mathcal{C}$ is a stable $ \infty$ -category whose homotopy category is a well-generated triangulated category in the sense of Neeman’s book. Must $ \mathcal{C}$ be a presentable $ \infty$ -category? Rosicky proved that if $ \mathcal{M}$ is a combinatorial stable model category then $ Ho(\mathcal{M})$ is well-generated, so I’m asking for a kindRead more