In category theory, an abstract branch of mathematics, distributive laws between monads are a way to express abstractly that two algebraic structures distribute...

{\displaystyle \eta ^{\prime }S.\eta .} See: distributive law between monads. A generalized distributive law has also been proposed in the area of information...

define monads in a 2-category C {\displaystyle C} . Monads described above are monads for C = C a t {\displaystyle C=\mathbf {Cat} } . Distributive law between...

requirements, known as the monad laws, which should be satisfied by any monad and can be used to verify monadic code. Since monads make semantics explicit...

function 1 + 1 + R + R×R + R×R → R, with axioms to express associativity, distributivity, and so on. This makes rings F-algebras on the category of sets with...

commutative and associative in modulo 2 arithmetic, and multiplication is distributive over addition. However, subtraction in modulo 2 is identical to addition...

commutative group free Kleene algebra free lattice free Boolean algebra free distributive lattice free Heyting algebra free modular lattice free Lie algebra free...

operations obey the associativity, commutativity, additive inverse, and distributivity axioms in the definition of a field, with additive identity 0 = { |...

Philosophy 31(2): 211–44. Pietruszczak, Andrzej, 1996, "Mereological sets of distributive classes", Logic and Logical Philosophy 4: 105–22. Constructs, using mereology...