One rig to control them all
Dit artikel presenteert een correcte en volledige axiomatisering voor het expliciet toevoegen van controle aan circuits-theorieën via een vrije constructie in semisimpele rig-categorieën, die de formele behandeling van reversible Boolese en quantum-circuits verenigt door middel van een nieuwe bewijsmethode en vereenvoudigde generatorenheden.