Dit project heeft als doel nieuwe concepten van minimale modellen te ontwikkelen voor objecten met multiplicatieve structuren die voorkomen in de wiskundige gebieden van algebra en topologie.
Geometrische objecten kunnen vaak effectief bestudeerd worden door algebraïsche invarianten toe te wijzen, die de essentie van hun structuur vastleggen. In veel interessante gevallen kunnen deze algebraïsche invarianten worden weergegeven als differentiaal gegradueerde algebra's. Echter, de differentiaal gegradueerde algebra's die voortkomen uit geometrie zijn vaak behoorlijk groot en complex. Het gebruik van minimale modellen is een succesvolle strategie gebleken om deze grote differentiaal gegradueerde algebra's te vereenvoudigen tot meer hanteerbare structuren. Het doel van dit project is om diagrammen, geïndexeerd door eindige verzamelingen en injecties, te gebruiken om minimale modellen te construeren in contexten die momenteel buiten het bereik van bestaande methoden liggen.
