Bayeh, Fahimeh2021-08-312021-08-312021-08-31http://hdl.handle.net/10222/80776In 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.enQuantum Domain TheoryQuantum ComputingDomain TheoryCategory TheoryQuantum Programming Languages