endofunctor

y。在偏序集合 P 上的闭包算子就是在范畴 P 上的 單子。等价的说，闭包算子可以被单做有额外的幂等和扩展性质的 Posets 范畴的 endofunctor。 如果 P 是完全格，则 P 的子集 A 是对某个 P 上闭包算子的闭合元素的集合，当且仅当 A 是在 P 上的 Moore家族，就是说

construction），是一個內函子（英语：endofunctor）（即由某範疇映到自身的函子），連同滿足特定連貫條件（英语：coherence condition）的兩個自然變換，三者構成的整體。單子用於研究互為伴隨的函子對，並將偏序集上的闭包算子推廣到任意範疇。 單子是一類內函子（英语：endofunctor）（連同其他資訊）。例如，若

monad） Semantically, M is not trivial and represents an endofunctor over the category of all well-typed values: M : V a l → V a l {\displaystyle