Learning seminar on derived categories