🎃 En construction! 🎃

Une encyclopédie des opérades et de leurs morphismes.

L'objectif est de créer une base de données sous une forme à la fois utile aux chercheurs via une interface de recherche, et aussi adaptée à un traitement automatique des présentations et des morphismes.

On veut en particulier pouvoir vérifier les dimensions étant donné une présentation, vérifier la validité d'un morphisme, vérifier les dualités de Koszul. Ceci peut utiliser SageMath, et aussi les programmes existants en Haskell.

Pour le moment, la base concerne les opérades dans les catégories des ensembles (éventuellement gradués), des espaces vectoriels (éventuellement gradués), et des complexes de chaßnes (éventuellement avec différentielle nulle).