je vais probablement parler à Shinzen Young de la théorie des catégories demain, souhaitez-moi bonne chance