Monad (category theory)

（重定向自Monadic functor）

In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is an endofunctor (a functor mapping a category to itself), together with two natural transformations. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories.

单词	Monadic functor
释义	Monadic functor 英语百科 Monad (category theory) （重定向自Monadic functor） In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is an endofunctor (a functor mapping a category to itself), together with two natural transformations. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories.
随便看	paraconsistentization Paraconsistent logic Paraconsistent logics paraconsistently paraconsistent probability paracontinental paracontrast paraconule paraconus paraconvex paraconvex group paraconvex set Paracooperia Paracooperia nodulosa paracopulatory Paracopyright paracoquimbite Paracord paracorolla Paracorporeal paracorporeal heart Paracort paracortex paracortex zone paracortical