German |
has gloss | deu: Eine Monade ist im mathematischen Teilgebiet der eine Struktur, die gewisse formale Ähnlichkeit mit den Monoiden der Algebra aufweist. |
lexicalization | deu: Monade |
Japanese |
has gloss | jpn: :コンピュータソフトウェアへのモナドの使用は、モナド (プログラミング)を見てください。 圏論において、モナド(英:monad)もしくはトリプル(英:triple)とは、関連する2つの自然変換を伴う(自己)関手である。モナドは随伴関手の対に関する理論において重要な存在である。これらは自己関手の圏におけるモノイド対象とみなすことができ(よってその名がある)、またこれらは、半順序集合上の閉包演算子を任意の圏へ一般化する。 |
lexicalization | jpn: モナド |
Portuguese |
has gloss | por: Na Teoria das categorias, uma mónade ou tripla é um (endo-)functor, junto com duas transformações naturais associadas. Elas são importantes na teoria dos pares de functores adjuntos e generalizam operadores de fechamento em posets para categorias arbitrárias. |
lexicalization | por: Mónade |
Russian |
has gloss | rus: Монада в теории категорий — это тройка (T, η, μ), где: * T: K \to K функтор из категории K в себя, * \eta: 1_K \to T естественное преобразование * \mu: T^2 \to T естественное преобразование * следующая диаграмма коммутативна (ассоциативность): |
lexicalization | rus: Монада |