La théorie des catégories étudie les structures mathématiques et leurs relations. L'étude des catégories, très abstraite, fut motivée par l'abondance de caractéristiques communes à diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.