Results 21 to 30 of about 29,436 (282)
Compositionality, 2023 A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without explicitly mentioning the Eilenberg-Moore category.
Hasegawa, Masahito +1 more
openaire +2 more sources
Algebraic Models of Cubical Weak Higher Structures [PDF]
Categories and General Algebraic Structures with Applications, 2022 In this article we recast some of the results developped in articles [19, 22] but in the setup of cubical geometry. Thus we define a monad on ℂ𝕊ets whose algebras are models of cubical weak ∞-groupoids with connections. In addition, we define a monad on
Camell Kachour
doaj +1 more source
Purity of an ST monad: full abstraction by semantically typed back-translation
Proc. ACM Program. Lang., 2022 In 1995, Launchbury and Peyton Jones extended Haskell with an ST monad that allows the programmer to use higher-order mutable state. They informally argued that these state computations were safely encapsulated, and as such, that the rich reasoning ...
K. Jacobs +2 more
semanticscholar +1 more source
A trustful monad for axiomatic reasoning with probability and nondeterminism [PDF]
Journal of functional programming, 2020 The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics. This paper explains a formalization in the Coq proof assistant of a monad equipped with both choices ...
Reynald Affeldt +3 more
semanticscholar +1 more source
Characterizing Internal and External Sets [PDF]
المجلة العراقية للعلوم الاحصائية, 2011 The aim of this paper is to give a characterization between the external and internal sets, and some relation between the galaxies and monads, according to this paper we obtain the following results : A set is galaxy iff there exists a strictly ...
Tahir H. Ismail and and +2 more
doaj +1 more source
The linear-non-linear substitution 2-monad [PDF]
ACT, 2020 We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the ...
M. Hyland, C. Tasson
semanticscholar +1 more source
The Power-Set Construction for Tree Algebras [PDF]
Logical Methods in Computer Science, 2023 We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, in the case where all trees are assumed to be linear.
Achim Blumensath
doaj +1 more source
Exosome-bound WD repeat protein Monad inhibits breast cancer cell invasion by degrading amphiregulin mRNA. [PDF]
PLoS ONE, 2013 Increased stabilization of mRNA coding for key cancer genes can contribute to invasiveness. This is achieved by down-regulation of exosome cofactors, which bind to 3'-UTR in cancer-related genes.
Makio Saeki +7 more
doaj +1 more source
Axioms, 2023 For a quantale I, which is a unit interval endowed with a continuous triangular norm and the Barr extension β¯I of the ultrafilter monad to I-Rel, a characterization of the discrete presheaf monad associated to β¯I is given. It is also proved that, when &
Gao Zhang, Shaoqun Zhang
doaj +1 more source
The Quantum Monad on Relational Structures [PDF]
International Symposium on Mathematical Foundations of Computer Science, 2017 Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction, and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information ...
S. Abramsky +3 more
semanticscholar +1 more source