Monadic

释义 Definition

monadic（形容词）：单一的；一元的；与“单子/Monad”相关的。常见于逻辑学（一元谓词）、数学/范畴论（monadic functor 等）和函数式编程（与 Monad 结构相关）语境。也可更宽泛地指“只有一个成分/参数”的性质。

发音 Pronunciation

/ˈmɒn.ə.dɪk/（英式）
/məˈnæd.ɪk/（美式常见读法）

例句 Examples

A monadic function takes only one argument.
一元函数只接受一个参数。

In formal logic, restricting a language to monadic predicates can make certain decision problems easier to analyze.
在形式逻辑中，把语言限制为一元谓词有时能让某些判定问题更容易分析。

词源 Etymology

来自 monad（“单子/单元体”）+ -ic（形容词后缀，表示“……的/与……相关的”）。monad 源自希腊语 monas（μονάς，“单一者、一个单位”），与 monos（“单独的”）同源。因此 monadic 的核心语感是“单一/一元/与单子相关”。

相关词 Related Words

• Unary
• Monad
• Dyadic
• Triadic
• Single
• Unitary
• Predicate

文学与著作 Literary Works

• Categories for the Working Mathematician（Saunders Mac Lane）——讨论范畴论时常出现 “monadic/monad/monadic functor”等术语。
• Category Theory in Context（Emily Riehl）——在讲解单子与相关结构时使用 “monadic”。
• Monadology（G. W. Leibniz，《单子论》；相关概念背景）——虽以“monad/单子”为核心概念，现代讨论中常引出 “monadic” 这一派生用语。