Очень толковый текст, из которого можно подчерпнуть по крайней мере 2 важные идеи: трюк Гротендика как формализовать понятие “пучок со значениями в категориях” (например если хочется думать про QCoh как про пучок) и трюк (Лури?) как определить монады не таская за собой бесконечное число данных высших когерентностей.
Добавлю, что понятие монады очень важно в связи с теоремой Барра-Бека о монадичности, которая точно входит в топ самых полезных утверждений из теории категории. Многие классические утверждения являются следствиями этой теоремы: плоский спуск в алгебраической геометрии, двойственность Картье про представления, etc..