a la luz de trabajo ulterior, 'descenso' es parte de la teoría de las comónadas; aquí podemos ver la manera en la cual la escuela de Grothendieck se bifurca en su acercamiento de los teóricos 'puros' de categoría, un tema que será importante para la comprensión de cómo el concepto de topos fue tratado más adelante.