Description et propriété universelle.
Bicatégories admissibles.
Foncteurs cartésiens généraux: Définition et propriétés.
Internalisation
Une petite familiarité avec les méthodes de "logique catégorique".
Construction de Grothendieck au niveau le plus "rudimentaire".
Références pour les prérequis : Borceux : Handbook of Categorical Algebra / Johnstone : Elephant