In de categorietheorie, een deelgebied van de wiskunde, is een monoïde of monoïde object in een monoïdale categorie C {\displaystyle C} een object M {\displaystyle M} samen met twee morfismen μ : M ⊗ M → M {\displaystyle \mu :M\otimes M\to M}, de vermenigvuldiging en η : I → M {\displaystyle \eta :I\to M}, de eenheid,zodat de diagrammen en commutatief zijn. Wikipedia