* [[Natural transformation]] - [[Monad_(category_theory) | monads]] are concepts originating in [[category theory]]; they are [[Functor | endofunctors]] equipped with structure, and monad transformers are natural transformations that preserve that structure.
