Haskell and algebra

[Gustavo Villavicencio]

Frank Atanassow said:
> Gustavo Villavicencio wrote:
>
>  > Hi all,
>  >
>  > I am trying to understand the algebraic laws and operators
>  > behind a functional expression...
>  >
>  > f >>= g \equiv g* . f
>  >
>  > in the Kleisli Star context. Is this right?
>
> Yep.
>
>  > If it is so, can I combine g*.f with a fork for example?
>
> What do you mean by a "fork"?

Jeremy Gibbons in "Conditional in distributive categories", among
others, calls fork to the operator typed as

 f /_\ g : A -> B x C

where f : A -> B and g : A -> C. In other literature it is also
called split operador: <f,g>
 So, the question is, if i have

 f : A -> T B and g : A -> T C

where T is a monad, i.e. an endofunctor, can i combine f and g as

 <f,g> : A -> T (BxC)

knowing that T involves side effects?


>
> Regards,
> Frank

Regards,
gustavo