A set-valued functor is “flat” if its tensor product extension is finite-limit preserving. Such a functor is flat if, and only if, its category of elements is filtered. Analogously, a category-valued 2-functor on a 2-category ...

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