Results 41 to 50 of about 29,436 (282)
Monadic Bounded Algebras [PDF]
Studia Logica, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Akishev, Galym, Goldblatt, Robert
openaire +2 more sources
A monad for full ground reference cells [PDF]
Logic in Computer Science, 2017 We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding ...
Ohad Kammar +3 more
semanticscholar +1 more source
Monad transformers and modular algebraic effects: what binds them together
Haskell@ICFP, 2019 For over two decades, monad transformers have been the main modular approach for expressing purely functional side-effects in Haskell. Yet, in recent years algebraic effects have emerged as an alternative whose popularity is growing.
Tom Schrijvers +3 more
semanticscholar +1 more source
A functional representation of the capacity multiplication monad [PDF]
Visnyk Lvivskogo Universytetu. Seriya Mekhaniko-Matematychna, 2019 Functional representations of the capacity monad based on the max and min operations were considered in \cite{Ra1} and \cite{Ny1}. Nykyforchyn considered in \cite{Ny2} some alternative monad structure for the possibility capacity functor based on the max
T. Radul
semanticscholar +1 more source
Connexion universelle et enveloppement du futur dans le présent
Lexicon Philosophicum, 2021 This text aims to contribute to the study of the physical, psychological and metaphysical dimensions that articulate the theme of universal connection and of the envelopment of the future in the present.
Laurence Bouquiaux
doaj +1 more source
A note on triangulated monads and categories of module spectra [PDF]
, 2018 Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation.
Dell'Ambrogio, Ivo, Sanders, Beren
core +5 more sources
Monadic MV-algebras II: Monadic implicational subreducts
Algebra universalis, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cecilia R. Cimadamore +1 more
openaire +3 more sources
A Constructive Treatment to Elemental Life Forms through Mathematical Philosophy
Philosophies, 2021 The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science.
Susmit Bagchi
doaj +1 more source
, 2014 In 1966, John Isbell introduced a construction on categories which he termed the "couple category" but which has since come to be known as the Isbell envelope.
Garner, Richard
core +1 more source
Equalizer in the Kleisli category of the $n$-fuzzy powerset monad [PDF]
Journal of Mahani Mathematical ResearchIn this article, we first consider the $L$-fuzzy powerset monad on a completely distributive lattice $L$. Then for $L=[n]$, we investigate the fuzzy powerset monad on $[n]$ and we introduce simple, subsimple and quasisimple $L$-fuzzy sets.
Seyed Naser Hosseini +1 more
doaj +1 more source