单子 (范畴论)內函子範疇中的么半群物件 / 维基百科,自由的 encyclopedia 关于单子在电脑软件的应用,请见“单子 (函数式编程)”。数学的分支范畴论中,单子(英语:monad),又称三元组(triple, triad)、标准构造(standard construction)、基本构造(fundamental construction)[1],是一个内函子(英语:endofunctor)(即由某范畴映到自身的函子),连同满足特定连贯条件(英语:coherence condition)的两个自然变换,三者构成的整体。单子用于研究互为伴随的函子对,并将偏序集上的闭包算子推广到任意范畴。
关于单子在电脑软件的应用,请见“单子 (函数式编程)”。数学的分支范畴论中,单子(英语:monad),又称三元组(triple, triad)、标准构造(standard construction)、基本构造(fundamental construction)[1],是一个内函子(英语:endofunctor)(即由某范畴映到自身的函子),连同满足特定连贯条件(英语:coherence condition)的两个自然变换,三者构成的整体。单子用于研究互为伴随的函子对,并将偏序集上的闭包算子推广到任意范畴。