Définition d'une catégorie
Catégorie modélisant l'état d'un système
Exemples mathématiques de catégories