Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic

Patrick Fraser

Quantum resource theory is a cutting-edge tool used to study practical implementations of quantum mechanical principles under realistic operational constraints. It does this by mod…