數學的分支範疇論中，單子（英語：monad），又稱三元組（triple, triad）、標準構造（standard construction）、基本構造（fundamental construction），是一個內函子（英语：endofunctor）（即由某範疇映到自身的函子），連同滿足特定連貫條件（英语：coherence...

張量範疇（tensor category），或曰幺半範疇（monoidal category）， 直覺地講，是個配上張量積的阿貝爾範疇（abelian category），可當作環的範疇化。 數學中，一個張量範疇（tensor category，或稱幺半範疇 monoidal...

查看维基词典中的词条「monad」。 单子在汉语中可能称： 单据的俗称 单子 (哲学)，哲学概念 独生子，如单子家庭 还可能指： 单子论 单子 (范畴论) 单子 (函数式编程)...

单子内“任何”基本类型的值（产生单子值），另一个过程用来复合（英语：function composition (computer science)）那些输出单子值的函数（叫做单子函数）。 单子的概念和术语二者最初都来自范畴论，这里的单子...

还可用范畴论手段研究泛代数：可用特殊的范畴描述代数结构，称为劳维尔理论或更广义的代数论。相对地，也可用单子描述代数结构。这两种方法密切相关，各有优势。 特别地，每个劳维尔理论都在集合范畴上给出了单子，而集合范畴的任何“有限”单子都产生于某个劳维尔理论。单子描述的是特定范畴（如集合范畴...

在函数式编程中，函子（functor）是受到范畴论函子启发的一种设计模式，它允许泛化类型在内部应用一个函数而不改变泛化类型的结构。函子形成了更复杂的抽象如应用式、单子、Comonad的基础。 这个想法在Haskell中使用类型类来编码实现： class Functor f where fmap ::...

1933年： 《宗教詹語》 (文藝叢刊（南京）第1卷1期) 《悼亡雜記》 (國風 第2卷2期) 《單子論》 (國風 第2卷6期) 《許思園著人性與人之使命》 (圖書評論(南京)第1卷12期) 1934年： 《萊布尼茲單子論譯序》 (國風 第4卷1期) 1936年：　 《說四維》 (國風 第8卷3期) 《新理智運動爭議》...

單模是不可分解的：它無法寫成兩個非零子模的直和，但是反之則不然。 一般而言，模不一定有單子模。例如 Z {\displaystyle \mathbb {Z} } 的每個子模都同構於 Z {\displaystyle \mathbb {Z} } ，故無單子模。 若 f : M → N {\displaystyle f:M\to...

在函数式编程中， 应用式函子，或简称应用式（applicative），是在函子和单子之间的中间结构。应用式函子允许函子式计算成为序列（不同于平常函子），但是不允许使用前面计算的结果于后续计算的定义之中（不同于单子）。应用式函子是范畴论中具有张量强度（英语：Strong monad）的不严格幺半群函子（英语：Monoidal...

被人們回溯性地建构的概念。 一元论 二元論 (精神哲學) 多元論 唯物論 唯心論 唯我論 唯靈論 唯神論 Johannes Jacobus Poortman chenyuhsi. 從佛教心理學重新探究「無我」教說 ──兼論印度教「梵我」與「自我」意識之分際. Buddhist Psychology...

論中，通過對知性判斷中的邏輯機能的分析。而先驗分析論當中的原理分析論主要闡明了知性指導判斷力把範疇運用於現象的法規。 “先驗辯證論”（幻相的邏輯）主要闡明了理性不可避免地要超越現象去認識的本體，由此產生的作為自然傾向的形而上學只不過是一些先驗的幻相，而不可能是真正的科學。康德在先驗辯證論...