Che cos'è un endofuntore monade?
Che cos'è un endofuntore monade?

Video: Che cos'è un endofuntore monade?

Video: Che cos'è un endofuntore monade?
Video: 3. Leibniz: l’universo monadistico e le monadi 2024, Maggio
Anonim

UN monade è un certo tipo di endofuntore . Ad esempio, se e sono una coppia di funtori aggiunti, con l'aggiunta di sinistra a, allora la composizione è un monade . Se e sono funtori inversi, il corrispondente monade è il funtore identità. In generale, le aggiunte non sono equivalenze: mettono in relazione categorie di natura diversa.

Sapete anche, cos'è una Monade in biologia?

(Scienza: biologia ) Un organismo semplice e minuto; una cellula primaria, un germe o un plastide. (Scienza: chimica) Un atomo o un radicale la cui valenza è uno, o che può combinarsi con, essere sostituito o scambiato con un atomo di idrogeno. (Scienza: biologia ) Monade deme, in tectologia, un'unità del primo ordine di individualità.

Allo stesso modo, cos'è una Monade nella programmazione? Da wikipedia: In funzionale programmazione , un monade è un tipo di tipo di dati astratto utilizzato per rappresentare i calcoli (anziché i dati nel modello di dominio). monadi permettere il programmatore concatenare le azioni per costruire una pipeline, in cui ogni azione è decorata con regole di elaborazione aggiuntive fornite dal monade.

Allo stesso modo ci si potrebbe chiedere, tutte le monadi sono monoidi?

Tutto detto, a monade in X è solo un monoide nella categoria degli endofuntori di X, con prodotto × sostituito da composizione di endofuntori e unità fissata dall'endofuntore identità. X ecco una categoria. Questa è una categoria in cui gli oggetti sono endofuntori ei morfismi sono trasformazioni naturali.

Cos'è l'esempio di monoide?

In algebra astratta, una branca della matematica, a monoide è una struttura algebrica con una singola operazione binaria associativa e un elemento di identità. monoidi sono semigruppi con identità. Per esempio , le funzioni da un insieme in se stesso formano a monoide rispetto alla composizione delle funzioni.

Consigliato: