Domande taggate «category-theory»


4
Cosa significa "coalgebra" nel contesto della programmazione?
Ho sentito il termine "coalgebre" più volte nella programmazione funzionale e nei circoli PLT, specialmente quando la discussione riguarda oggetti, componenti, obiettivi e così via. Cercare su Google questo termine fornisce pagine che descrivono matematicamente queste strutture, il che è praticamente incomprensibile per me. Qualcuno può spiegare cosa significano le …

2
Applicazioni del mondo reale di prepromorfismi zygoistomorfi
Sì, questi : {-#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 :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f = g_prepro …


3
Tutti i contenitori di dimensioni fisse sono potenti funzioni monoidali e / o viceversa?
La Applicativetypeclass rappresenta i lassisti monoidali che preservano la struttura monoidale cartesiana nella categoria delle funzioni tipizzate. In altre parole, visti gli isomorfismi canonici che testimoniano che (,)forma una struttura monoidale: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.