Abstract homotopy theory seminar (informal session)