A collection of gap packages for categorical homological algebra with special focus on homotopy categories and derived equivalences