EDIT: J'ai maintenant posé une question similaire sur la différence entre les catégories et les ensembles. Chaque fois que je lis sur la théorie du type (qui est certes plutôt informelle), je ne peux pas vraiment comprendre comment elle diffère de la théorie des ensembles, concrètement . Je...