Hvad er en Monad Endofunctor?
Hvad er en Monad Endofunctor?

Video: Hvad er en Monad Endofunctor?

Video: Hvad er en Monad Endofunctor?
Video: What is a monad? (Design Pattern) 2024, Kan
Anonim

EN monade er en bestemt type endofunktor . For eksempel, hvis og er et par adjoint-funktionorer med venstre adjoint til, så er kompositionen en monade . Hvis og er inverse funktorer, de tilsvarende monade er identitetsfunktionen. Generelt er adjunktioner ikke ækvivalenser - de relaterer kategorier af forskellig karakter.

Ved også, hvad en monade er i biologi?

(Videnskab: biologi ) En simpel, minutiøs organisme; en primær celle, kim eller plastid. (Videnskab: kemi) Et atom eller radikal, hvis valens er én, eller som kan kombineres med, erstattes af eller udskiftes med ét brintatom. (Videnskab: biologi ) Monade deme, i tekologi, en enhed af individualitets første orden.

På samme måde, hvad er en monade i programmering? Fra wikipedia: I funktionel programmering , a monade er en slags abstrakt datatype, der bruges til at repræsentere beregninger (i stedet for data i domænemodellen). monader tillade programmør at kæde handlinger sammen for at bygge en pipeline, hvor hver handling er dekoreret med yderligere behandlingsregler leveret af monade.

På samme måde kan man spørge, om alle monader er monooider?

Alle fortalte, a monade i X er bare en monoid i kategorien af endofunctors af X, med produkt × erstattet af sammensætning af endofunctors og enhed sat af identitetendofunctor. X her er en kategori. Dette er en kategori, hvor objekterne er endofunctors, og morfismerne er naturlige transformationer.

Hvad er Monoid eksempel?

I abstrakt algebra, en gren af matematik, en monoid er en algebraisk struktur med en enkelt associativ binær operation og et identitetselement. Monoider er semigrupper med identitet. Til eksempel , funktionerne fra et sæt ind i sig selv danner en monoid med hensyn til funktionssammensætning.

Anbefalede: