نتایج جستجو برای: monads in categories

تعداد نتایج: 16983354  

2010
Mark Snyder Perry Alexander

Monads provide a greatly useful capability to pure languages in simulating side-effects, but implementations such as the Monad Transformer Library [1] in Haskell prohibit reuse of those side-effects such as threading through two different states without some explicit workaround. Monad Factory provides a straightforward solution for opening the non-proper morphisms by indexing monads at both the...

Journal: :Journal of Pure and Applied Algebra 2013

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ولی عصر (عج) - رفسنجان - دانشکده ریاضی 1389

in this thesis, first the notion of weak mutual associativity (w.m.a.) and the necessary and sufficient condition for a $(l,gamma)$-associated hypersemigroup $(h, ast)$ derived from some family of $lesssim$-preordered semigroups to be a hypergroup, are given. second, by proving the fact that the concrete categories, semihypergroups and hypergroups have not free objects we will introduce t...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ارومیه 1377

the methods which are used to analyze microstrip antennas, are divited into three categories: empirical methods, semi-empirical methods and full-wave analysis. empirical and semi-empirical methods are generally based on some fundamental simplifying assumptions about quality of surface current distribution and substrate thickness. thses simplificatioms cause low accuracy in field evaluation. ful...

1992
David J. King Philip Wadler

Monads provide a way of structuring functional programs. Most real applications require a combination of primitive monads. Here we describe how some monads may be combined with others to yield a combined monad.

Journal: :Logical Methods in Computer Science 2022

This paper is a contribution to the search for efficient and high-level mathematical tools specify reason about (abstract) programming languages or calculi. Generalising reduction monads of Ahrens et al., we introduce transition monads, thus covering new applications such as lambda-bar-mu-calculus, pi-calculus, Positive GSOS specifications, differential lambda-calculus, big-step, simply-typed, ...

Journal: :Theoretical Computer Science 2023

Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this is advanced by stating proving equivalent conditions for second-order stochastic dominance, widely used way comparing distributions their spread. Furthermore, we lay foundation theory statistical experiments within classical Blackwell-Sherman-Stein Theorem. Our version n...

Journal: :Journal of Pure and Applied Algebra 1991

Journal: :Bulletin of the Australian Mathematical Society 1977

Journal: :Electronic Notes in Theoretical Computer Science 2020

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید