Browsing by Subject "Category Theory"
Now showing items 1-3 of 3
-
An Elementary Account of Flat 2-Functors
(2019-05-02)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 ... -
Pseudocolimits of Small Filtered Diagrams of Internal Categories
(2022-08-30)Pseudocolimits are formal gluing constructions that combine objects in a category indexed by a pseudofunctor. When the objects are categories and the domain of the pseudofunctor is small and filtered it is known in SGA4 ... -
Towards A Theory Of Quantum Domains
(2021-08-31)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 ...