Under construction.

This is a little encyclopedia of operads and their morphisms.

The aim is to have a database both useful for people in the field, with a search interface, and also adapted to automatic treatment of presentations and morphisms.

In particular, one would like to be able

• to check the first few dimensions when given a presentation,
• to check the validity of a morphism,
• to check Koszul duality,
• to check non-Koszulness via generating series,

This can be done using SageMath, and the available Haskell programs

For the moment, the database concerns operads in the category of sets (eventually graded), vector spaces (eventually graded) and chain complexes (eventually with zero differential).

Part of the data comes from the article of G. W. Zinbiel (pseudonym of J.-L. Loday) entitled "Encyclopedia of types of algebras 2010". Links: MathSciNet and zbMATH.

Contributors

• Pieter Belmans
• Frédéric Chapoton
• Paul Laubie