presheavesgroupoid
Ce projet explore les propriétés des faisceaux en groupoïdes sur une catégorie test faible pour modéliser les types d'homotopie. Il s'inscrit dans le domaine de la topologie algébrique et de la théorie des catégories, offrant des outils théoriques pour comprendre les structures homotopiques complexes.
Dépôt de code
Description générée le jeudi 12 novembre 2026 à 20:45:31