Il s'agit essentiellement de présenter, du point de vue d'un "amateur non-expert & informaticien" ce qui se cache derrière "la théorie des catégories".
Issue des mathématiques fondamentales modernes, cette théorie est remarquable par sa haute abstraction, ce qui lui vaut le doux surnom de "abstract nonsense" [1]. Atout selon certains, défaut selon d'autres, les catégories trouvent de nombreuses applications en informatique.
Dans cet exposé, je vous présenterai brièvement cet objet mathématique, puis j’exhiberai quelques traits qui me paraissent ressortir de "la pratique" (raisonnement sur les transformations pures, rôle de l'unicité, caractère constructif, inspiration de construction à partir d'objets plus classiques). Enfin je donnerai quelques exemples d'application "réussies" et terminerai sur la question (ouverte ?) "quel intérêt pour les BDs ?".
