Semialgebras and Weak Distributive Laws

06/25/2021
by   Daniela Petri{ş}an, et al.
0

Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the associativity axiom alone-the unit axiom from the definition of an Eilenberg-Moore algebras is dropped. We prove that if the underlying category has coproducts, then semialgebras for a monad M are in fact the Eilenberg-Moore algebras for a suitable monad structure on the functor id + M , which we call the semifree monad M^s. We also provide concrete algebraic presentations for semialgebras for the maybe monad, the semigroup monad and the finite distribution monad. A second contribution is characterizing the weak distributive laws of the form M T ⇒ T M as strong distributive laws M^s T ⇒ T M^s subject to an additional condition.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/11/2022

Algebraic Presentation of Semifree Monads

Monads and their composition via distributive laws have many application...
research
05/07/2022

Weakening and Iterating Laws using String Diagrams

Distributive laws are a standard way of combining two monads, providing ...
research
12/06/2019

Oracular information and the second law of thermodynamics

Patterns and processes - spatial and temporal correlations - are subject...
research
12/31/2019

Interaction laws of monads and comonads

We introduce and study functor-functor and monad-comonad interaction law...
research
08/19/2021

Convexity via Weak Distributive Laws

We study the canonical weak distributive law δ of the powerset monad ove...
research
05/14/2006

Laws in Darwinian Evolutionary Theory

In the present article the recent works to formulate laws in Darwinian e...
research
05/25/2012

Foreword: A Computable Universe, Understanding Computation and Exploring Nature As Computation

I am most honoured to have the privilege to present the Foreword to this...

Please sign up or login with your details

Forgot password? Click here to reset