Functoriality and Weyl Groupoids of Ample C*-Diagonal Pairs
We develop a functorial framework for ample C$^*$-diagonal pairs and their Weyl groupoids. The main contribution is a partial functoriality theorem in the untwisted setting: from a diagonal-preserving $*$-homomorphism whose restriction to the diagonal is an isomorphism, we construct an open subgroupoid $\mathcal H_Φ\subseteq\mathcal G_B$ and a continuous, open, injective groupoid homomorphism $ρ_Φ: \mathcal H_Φ\to\mathcal G_A$, together with the induced homeomorphism on unit spaces. We prove that this construction is well-defined and extends to a contravariant functor into a category of partial groupoid morphisms, thereby giving a concrete partial Weyl-groupoid functor. We record consequences for expectation-compatible ideals, faithful conditional expectations, and quotient reductions, and formulate questions concerning the interaction with dynamical comparison. We also record tensor-product permanence results, including the product description of Weyl groupoids and the relevant diagonal-dimension estimate. Finally, in the untwisted principal case, we prove a reconstruction/rigidity theorem showing that the underlying Weyl groupoid determines the diagonal pair up to isomorphism. Results imported from Bönicke--Li, Li--Liao--Winter, Renault, Kumjian, and Kopsacheilis--Winter are used explicitly as background or supporting permanence results rather than claimed as new contributions.