單子 (範疇論)內函子範疇中的么半群物件 / 維基百科,自由的 encyclopedia 关于單子在電腦軟件的應用,请见「單子 (函數式編程)」。數學的分支範疇論中,單子(英語:monad),又稱三元組(triple, triad)、標準構造(standard construction)、基本構造(fundamental construction)[1],是一個內函子(英语:endofunctor)(即由某範疇映到自身的函子),連同滿足特定連貫條件(英语:coherence condition)的兩個自然變換,三者構成的整體。單子用於研究互為伴隨的函子對,並將偏序集上的闭包算子推廣到任意範疇。
关于單子在電腦軟件的應用,请见「單子 (函數式編程)」。數學的分支範疇論中,單子(英語:monad),又稱三元組(triple, triad)、標準構造(standard construction)、基本構造(fundamental construction)[1],是一個內函子(英语:endofunctor)(即由某範疇映到自身的函子),連同滿足特定連貫條件(英语:coherence condition)的兩個自然變換,三者構成的整體。單子用於研究互為伴隨的函子對,並將偏序集上的闭包算子推廣到任意範疇。