رياضيات, فئة مونيدية, مؤثر, موناد, نظرية الفئات

الموناد المونيدي (Monoidal Monad)