Esta pregunta ha estado en mi mente por un tiempo. Según tengo entendido, la construcción Q fue la primera definición para la teoría K algebraica superior. Algunos detalles se pueden encontrar aquí.
http://en.wikipedia.org/wiki/Algebraic_K-theory
Siempre me he preguntado qué línea de pensamiento llevó a Quillen a llegar a esta definición. ¿Alguien conoce una interpretación de la construcción Q que la haga parecer natural?