Discussion:Théorie des catégories/À faire
- une intoduction
- foncteurs
- équivalences de catégories
- lemme de Yoneda
- transformations naturelles
- problèmes universels (qui donnent des propriétés universelles).
- objets finaux
- objets initiaux
- limites projectives
- limites inductives