| rdfs:comment
| - Eine Monade ist im mathematischen Teilgebiet der Kategorientheorie eine Struktur, die gewisse formale Ähnlichkeit mit den Monoiden der Algebra aufweist. (de)
- En teoría de categorías, una rama de matemáticas, una mónada (también llamada terna, tríada, construcción estándar o construcción fundamental) es un endofunctor (un functor desde una categoría hacia ella misma), junto con dos transformaciones naturales. Las mónadas son utilizadas en la teoría de pares de functores adjuntos, y generalizan los operadores de clausura en conjuntos parcialmente ordenados a categorías arbitrarias. (es)
- In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is a monoid in the category of endofunctors. An endofunctor is a functor mapping a category to itself, and a monad is an endofunctor together with two natural transformations required to fulfill certain coherence conditions. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories. Monads are also useful in the theory of datatypes and in functional programming languages, allowing languages with non-mutable states to do things such as simulate for-loops; see Monad (functional programming). (en)
- Dalam teori kategori, cabang dari matematika, monad (juga disebut tripel, triad, konstruksi standar dan konstruksi dasar) adalah (funktor memetakan kategori), dengan dua yang dibutuhkan untuk memenuhi . Monad digunakan dalam teori , dan mereka menggeneralisasi pada himpunan terurut parsial ke kategori arbitrer. (in)
- 数学の一分野である圏論において、モナド（英語: monad）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、（英語: bicategory）上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はである。 歴史的に、この構造は「双対標準構成（英: dual standard construction）」「トリプル（英: triple）」「モノイド（英: monoid）」「トライアド（英: triad）」と様々な呼称で呼ばれており、これについてソーンダース・マックレーンは『圏論の基礎』の中で「不幸にも「トリプル」という語がこの意味でしばしば用いられたことが無用な混乱を拡大した」と記している。「モナド」という語彙はライプニッツ（モナド (哲学) を参照）からの借用であるが、これを誰が名付けたかは定かではない。少なくとも（英語: Jean Bénabou）の1967年の論文に使用例が存在しており、1969年ごろの段階ではマックレーンもまだ呼称を決定していなかったことを（英語: Ross Street）が明かしている。 (ja)
- ( 이 문서는 수학에 관한 것입니다. 다른 뜻에 대해서는 모나드 문서를 참고하십시오.) 범주론에서 모나드(영어: monad)는 내부 함자 범주의 모노이드 대상이다. 폐포연산과 대수 구조 다양체의 공통적인 일반화이다. (ko)
- Monada (kategorii ) – w teorii kategorii, trójka dla której jest pewnym funktorem (kowariantnym), a ( oznacza identyczność) i są takimi transformacjami naturalnymi że:
*
* Na przykład jeżeli jest porządkiem częściowym, monadą nad jest monotoniczna funkcja taka, że oraz dla dowolnego (Te dwie nierówności wyrażają typy transformacji i Dzięki temu, że relacja jest przechodnia, diagramy w definicji monady komutują.) Z powyższych zależności dla wynika, że czyli Funkcja jest więc idempotentna i traktuje się ją zwykle jako operację domknięcia. (pl)
- Монада в теории категорий — тройка , где:
* функтор из категории в себя,
* естественное преобразование
* естественное преобразование
* следующая диаграмма коммутативна (ассоциативность):
* следующая диаграмма коммутативна (двухсторонняя единица): Монада может быть определена через общее понятие моноида в моноидальной категории. Монада над категорией — это моноид в моноидальной категории эндофункторов . Дуальное категорное понятие для монады — . (ru)
- Na teoria das categorias, uma mónade, mônade ou mônada (ou tripla, nome porém menos usado) é um endofunctor, junto a duas transformações naturais, satisfazendo regras formalmente análogas às de um monoide. Aplicações do conceito incluem a determinação de equivalências com as categorias de álgebras sobre mônades, sendo centrais na álgebra universal, além do uso na ciência da computação como modelo conveniente para, por exemplo, a manipulação de estado global e o não determinismo. (pt)
- 數學的分支範疇論中，單子（英語：monad），又稱三元組（triple, triad）、標準構造（standard construction）、基本構造（fundamental construction），是一個（即由某範疇映到自身的函子），連同滿足特定的兩個自然變換，三者構成的整體。單子用於研究互為伴隨的函子對，並將偏序集上的闭包算子推廣到任意範疇。 (zh)
- Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. (fr)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)