По ссылке обычная современная европейская программа, довольно разнообразная.

Le cours donne une introduction dans la théorie des catégories: Catégories, foncteurs et transformations naturelles, Lemme de Yonneda, Limites et colimites, Fonceurs adjoints. On termine le cours avec quelques théorèmes plus avancés, dépandant de l’intérêt des étudiants (Beck’s monadicity and descent theory, Gabriel-Popescu or Tannaka-Krein reconstrution).

Может, monadic descent это для категористов; теорема Габриэля-Попеску --- это про вложение абелевых категорий в категории модулей (интересный факт, на практике наверное не сильно нужный, и доказательство немного техническое); ну и двойственность Таннаки-Крейна --- это тоже интересно.