Programmeren en bewijzen met vrije veralgemeende monoides.

Dit project heeft tot doel de situatie te verhelpen door concepten uit de categorietheorie toe te passen, een abstracte tak van de wiskunde, om programma's systematisch te structureren. Meer specifiek bestuderen we de klasse van concepten bekend als vrije gegeneraliseerde monoïden.