Quillen's Q-construction

GPTKB entity