Classification of reductive monoids

We classify reductive monoids over arbitrary base schemes by descent from the split classification in arXiv:2607.00322. For a reductive group scheme $G$, we construct its sheaf of based root data, abstract Cartan torus, abstract Weyl group, and a scheme of Weyl cones. The last of these represents the functor of isomorphism classes of rigidified reductive monoids with unit group $G$. As applications, we deduce a criterion for the existence of monoids that are not groups, prove an extension theorem over normal integral bases, and construct the Vinberg monoids without a quasi-split hypothesis.