Wer hat zuerst folgendes gesagt? Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren. Was ist das Problem? Und in einem weniger wichtigen Punkt, ist dies wahr und wenn ja, könnten Sie eine Erklärung geben (hoffentlich eine, die von jemandem verstanden werden kann, der nicht viel...
Ich habe den Begriff "Kohlegebren" in funktionalen Programmier- und PLT-Kreisen mehrmals gehört, insbesondere wenn es um Objekte, Comonaden, Linsen und dergleichen geht. Wenn Sie diesen Begriff googeln, erhalten Sie Seiten mit mathematischen Beschreibungen dieser Strukturen, die für mich so gut wie...
Ja, diese : {-#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...
Ich habe über Monaden in der Kategorietheorie gelesen. Eine Definition von Monaden verwendet ein Paar benachbarter Funktoren. Eine Monade wird durch eine Rundreise mit diesen Funktoren definiert. Anscheinend sind Zusätze in der Kategorietheorie sehr wichtig, aber ich habe keine Erklärung für...
As State Monad kann in Produkt (Left - Functor) und Reader (Right - Representable) zerlegt werden. Gibt es eine Möglichkeit, die Fortsetzungsmonade zu faktorisieren? Der folgende Code ist mein Versuch, bei dem keine Überprüfung durchgeführt wird -- To form a -> (a -> k) -> k {-# LANGUAGE...
Das Applicative Typklasse repräsentiert laxe monoidale Funktoren, die die kartesische monoidale Struktur in der Kategorie der typisierten Funktionen beibehalten. Mit anderen Worten, angesichts der kanonischen Isomorphismen, (,)die eine monoidale Struktur bilden: -- Implementations left to the...
Hier ist der SO-Beitrag, auf den ich mich beziehen werde .Außerdem werde ich in dieser Frage dieselben Schnipsel wie das OP verwenden, um die Materialien nicht zu trennen . Es ist allgemein bekannt, dass eine ArrowApplyInstanz eine Monade ergibt und umgekehrt: newtype ArrowMonad a b = ArrowMonad (a...
Die Kategorie der Mengen ist sowohl kartesisch monoidal als auch kokartesisch monoidal. Die Arten der kanonischen Isomorphismen, die diese beiden monoidalen Strukturen bezeugen, sind nachstehend aufgeführt: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> b, bwd ::...
Es ist bekannt, dass natürliche Transformationen mit Typensignatur a -> a Identitätsfunktionen sein müssen. Dies folgt aus dem Yoneda-Lemma, kann aber auch direkt abgeleitet werden. Diese Frage verlangt nach der gleichen Eigenschaft, aber nach Monadenmorphismen anstelle natürlicher...