Monad
Category theory
>
&h=190&w=284&tbnid=MmZnS_VoJUaEAM&q=Monad+(category+theory)&tbnh=184&tbnw=275&usg=AI4_-kRcVeKvIujxu1cGSKwflBoHda1LZA&vet=1&docid=lonicZCBOBHdaM&itg=1&sa=X&ved=2ahUKEwiwx7fn79-FAxV5CnkGHXBHBIsQ9QF6BAgAEAQ)
&tbnh=84&tbnw=150&usg=AI4_-kRQSgyq0mnji17zqYMSRSx_FGiZ8A&vet=1&docid=syTnQ09mMGsqaM&sa=X&ved=2ahUKEwiwx7fn79-FAxV5CnkGHXBHBIsQ9QF6BAgAEAY)
&h=160&w=168&tbnid=cXt09NcPfXiu-M&q=Monad+(category+theory)&tbnh=94&tbnw=99&usg=AI4_-kSSQp1h3ukJCe0-ry05jmx320OrWQ&vet=1&docid=lonicZCBOBHdaM&sa=X&ved=2ahUKEwiwx7fn79-FAxV5CnkGHXBHBIsQ9QF6BAgAEAg)
&tbnh=95&tbnw=116&usg=AI4_-kSXHUSSAw15gcZ-esV_IsIyZIfN9g&vet=1&docid=kMZSnUytlIIbdM&sa=X&ved=2ahUKEwiwx7fn79-FAxV5CnkGHXBHBIsQ9QF6BAgAEAo)
In category theory, a branch of mathematics, a monad is a monoid in the category of endofunctors of some fixed category. An endofunctor is a functor mapping a category to itself, and a monad is an endofunctor together with two natural... Wikipedia