Abstract structure of unitary oracles for quantum algorithms

William Zeng, Jamie Vicary

We show that a pair of complementary dagger-Frobenius algebras, equipped with a self-conjugate comonoid homomorphism onto one of the algebras, produce a nontrivial unitary morphism…