1: \begin{abstract}

2:   Rig groupoids provide a semantic model of \PiLang, a universal

3:   classical reversible programming language over finite types. We

4:   prove that extending rig groupoids with just two maps and three

5:   equations about them results in a model of quantum computing that

6:   is computationally universal and equationally sound and complete for

7:   a variety of gate sets. The first map corresponds to an

8:   $8^{\text{th}}$ root of the identity morphism on the unit $1$. The

9:   second map corresponds to a square root of the symmetry on $1+1$. As

10:   square roots are generally not unique and can sometimes even be

11:   trivial, the maps are constrained to satisfy a nondegeneracy axiom,

12:   which we relate to the Euler decomposition of the Hadamard gate. The

13:   semantic construction is turned into an extension of \PiLang, called

14:   \SPiLang, that is a computationally universal quantum programming

15:   language equipped with an equational theory that is sound and

16:   complete with respect to the Clifford gate set, the standard gate

17:   set of Clifford+T restricted to $\le 2$ qubits, and the

18:   computationally universal Gaussian Clifford+T gate set.

19: \end{abstract}

20: