Some history on quotient categories