N-monoid
வகைக் கோட்பாட்டில், a (கண்டிப்பான) n-மோனாய்டு என்பது ஒரே ஒரு 0-செல் கொண்ட ஒரு n-வகை ஆகும். குறிப்பாக, 1-மோனாய்டு ஒரு மோனாய்டு மற்றும் 2-மோனாய்டு ஒரு கடுமையான மோனாய்டல் வகையாகும். குறிப்புகள் மேலும் வாசிப்பு உயர் வகை கோட்பாடு