Lax Distributive Laws for Topology, Ii
نویسندگان
چکیده
For a small quantaloid Q we consider four fundamental 2-monads T on Q-Cat, given by the presheaf 2-monad P and the copresheaf 2-monad P†, as well as their two composite 2-monads, and establish that they all laxly distribute over P. These four 2-monads therefore admit lax extensions to the category Q-Dist of Q-categories and their distributors. We characterize the corresponding (T,Q)-categories in each of the four cases, leading us to both known and novel categorical structures.
منابع مشابه
Lax Distributive Laws for Topology, I
For a quantaloid Q, considered as a bicategory, Walters introduced categories enriched in Q. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing monad-quantaloid-enriched categories. We do so by making lax distributive laws of a monad T over the discrete presheaf monad of the small quantaloid Q the primary data of the theory, rather than the l...
متن کاملDistributive laws in programming structures
Generalised Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. These applications have always meant leaps in understanding the nature of the subject. Howev...
متن کاملQuantale-valued fuzzy Scott topology
The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...
متن کاملA duality between fuzzy domains and strongly completely distributive $L$-ordered sets
The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...
متن کاملDistributive-Law Semantics for Cellular Automata and Agent-Based Models
We present an effort to give formal semantics to the popular but theoretically rather unreflected scientific modelling paradigm of agentor individual-based models. To this end, we give a generic formalization of two-dimensional cellular automata with flexible topology as the abstract basis of such models. The semantic approach of structural operational semantics a la Turi and Plotkin [7], based...
متن کامل