Redirecting to Monoid (category theory)