Introduction

Les catégories et foncteurs est une notion unificatrice, elle a été crée spécialement pour regrouper plusieurs théories mathématiques : groupes, espaces topologiques, espaces vectoriels.. Récemment cette dernière a commence à envahir la plupart des branches mathématiques et certains secteurs de l'informatique théorique et en mathématiques de la physique... Cette théorie a été introduite par Samuel…