Homotopy theory in general categories