¿Quién dijo primero lo siguiente? Una mónada es solo un monoide en la categoría de endofunctores, ¿cuál es el problema? Y en una nota menos importante, ¿es esto cierto y, de ser así, podría dar una explicación (con suerte, una que pueda entender alguien que no tenga mucha experiencia con...
He escuchado el término "coalgebras" varias veces en la programación funcional y los círculos PLT, especialmente cuando la discusión es sobre objetos, comonads, lentes y demás. Buscar en Google este término ofrece páginas que ofrecen una descripción matemática de estas estructuras, lo cual me...
Si, estos : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism...
Como State mónada se puede factorizar en Producto (Izquierda - Functor) y Lector (Derecha - Representable). ¿Hay alguna manera de factorizar la Mónada de Continuación? El siguiente código es mi intento, que no escribirá cheque -- To form a -> (a -> k) -> k {-# LANGUAGE...
La Applicativeclase de tipos representa functores monoidales laxos que preservan la estructura monoidal cartesiana en la categoría de funciones escritas. En otras palabras, dados los testigos de isomorfismos canónicos que (,)forman una estructura monoidal: -- Implementations left to the motivated...
Aquí está la publicación SO a la que me referiré . Además, voy a usar los mismos fragmentos que el OP en esa pregunta para no separar los materiales . Es ampliamente conocido que una ArrowApplyinstancia produce una mónada y viceversa: newtype ArrowMonad a b = ArrowMonad (a () b) instance Arrow a...
La categoría de conjuntos es tanto monoidal cartesiana como monoidal cocartesiana. Los tipos de isomorfismos canónicos que presencian estas dos estructuras monoidales se enumeran a continuación: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> b, bwd :: b -> a...
Se sabe que las transformaciones naturales con firma de tipo a -> adeben ser funciones de identidad. Esto se desprende del lema de Yoneda, pero también se puede derivar directamente. Esta pregunta pide la misma propiedad pero morfismos de mónada en lugar de transformaciones naturales. Considere...