Towards A Theory Of Quantum Domains

Abstract

In this work, we lay the foundation for defining a category of quantum domains and developing a model for quantum programming language. We give a definition of quantum domains, which act as objects of the category. In this definition, we consider systems which deal with 'progressive information'. Also, we give a definition of progressive superoperators for finite domains. In the category of quantum domains, the progressive superoperators act as the morphisms of the category.