With a Few Square Roots, Quantum Computing is as Easy as Π

Jacques Carette, Chris Heunen, Robin Kaarsgaard +1

Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps…