Video: Sind alle Monaden Monoide?
2024 Autor: Miles Stephen | [email protected]. Zuletzt bearbeitet: 2023-12-15 23:32
Eine gut gesagte, vielleicht die kürzeste Antwort aller Zeiten ist: A Monade ist nur ein monoid in der Kategorie der Endofunktoren. Zufrieden mit dem monoid Axiome (i. & ii.), a Monade kann als angesehen werden monoid die zusammen mit zwei natürlichen Transformationen ein Endofunktor ist.
Was ist hierin ein Monaden-Endofunktor?
In der Kategorientheorie, einem Zweig der Mathematik, a Monade (auch Dreifach-, Dreier-, Standardbauweise und Grundbauweise) ist ein Endfunktion (ein Funktor, der eine Kategorie auf sich selbst abbildet), zusammen mit zwei natürlichen Transformationen, die erforderlich sind, um bestimmte Kohärenzbedingungen zu erfüllen.
Anschließend stellt sich die Frage, was ist ein Bifunktor? EIN bifunktor (auch als binärer Funktor bekannt) ist ein Funktor, dessen Domäne eine Produktkategorie ist. Er kann in zwei Argumenten als Funktor angesehen werden. Der Hom-Funktor ist ein natürliches Beispiel; es ist in einem Argument kontravariant, in dem anderen kovariant. Ein Multifunktor ist eine Verallgemeinerung des Funktorkonzepts auf n Variablen.
Was ist dann eine Monade in der Programmierung?
Aus Wikipedia: In Funktional Programmierung , ein Monade ist eine Art abstrakter Datentyp, der verwendet wird, um Berechnungen darzustellen (anstelle von Daten im Domänenmodell). Monaden Erlaube das Programmierer Aktionen zu verketten, um eine Pipeline zu erstellen, in der jede Aktion mit zusätzlichen Verarbeitungsregeln versehen ist, die von der. bereitgestellt werden Monade.
Was ist ein Monad Haskell?
In Haskell ein Monade wird als Typkonstruktor (nennen Sie es m) dargestellt, eine Funktion, die Werte dieses Typs erstellt (a -> ma) und eine Funktion, die Werte dieses Typs mit Berechnungen kombiniert, die Werte dieses Typs erzeugen, um eine neue Berechnung für zu erstellen Werte dieses Typs (ma -> (a -> mb) -> mb).
Empfohlen:
Welche Biomoleküle sind für alle Lebewesen essentiell?
Alle Organismen benötigen vier Arten organischer Moleküle: Nukleinsäuren, Proteine, Kohlenhydrate und Lipide; Leben kann nicht existieren, wenn eines dieser Moleküle fehlt. Nukleinsäuren. Die Nukleinsäuren sind DNA und RNA bzw. Desoxyribonukleinsäure und Ribonukleinsäure. Proteine. Kohlenhydrate. Lipide
Was ist ein Monaden-Endofunktor?
Eine Monade ist eine bestimmte Art von Endofunktor. Wenn und zum Beispiel ein Paar adjungierter Funktoren mit links adjungiert zu sind, dann ist die Komposition eine Monade. Wenn und inverse Funktoren sind, ist die entsprechende Monade der Identitätsfunktor. Im Allgemeinen sind Adjunktionen keine Äquivalenzen – sie beziehen Kategorien unterschiedlicher Natur
Sind alle Polygone ähnlich?
Für zwei beliebige regelmäßige Vielecke mit gleicher Seitenzahl: Sie sind immer ähnlich. Da sie alle die gleiche Seitenlänge haben, müssen sie immer die gleichen Proportionen haben und ihre Innenwinkel sind immer gleich, also immer ähnlich
Was sind die vier Hauptmerkmale, die alle Tiere teilen?
Aber so unterschiedlich sie auch sind, Tiere teilen vier Hauptmerkmale, die sie zusammengenommen von anderen Organismen unterscheiden (Abbildung 23-1). Tiere sind eukaryontisch. Tierischen Zellen fehlen Zellwände. Tiere sind vielzellig. Tiere sind Heterotrophe, die Nahrung aufnehmen
Wofür werden Monaden verwendet?
Aus Wikipedia: In der funktionalen Programmierung ist eine Monade eine Art abstrakter Datentyp, der verwendet wird, um Berechnungen darzustellen (anstelle von Daten im Domänenmodell). Monaden ermöglichen es dem Programmierer, Aktionen miteinander zu verketten, um eine Pipeline aufzubauen, in der jede Aktion mit zusätzlichen Verarbeitungsregeln versehen ist, die von der Monade bereitgestellt werden