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 ...