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 subgroup