Seminar on abstract homotopy theory