Les catégories strictes sont utilisées pour étudier des propriétés géométriques et calculatoires en algèbre, tandis que les catégories faibles sont importantes pour formaliser les mathématiques sur ordinateur. Si les premières sont bien comprises aujourd’hui, possédant des méthodes de calcul efficaces, la théorie mathématique des secondes est encore peu développée car elles sont bien plus complexes. […]
Read More