Homotopy pure complexes and derived categories | Synapse