Mónade (teoria das categorias)
Origem: Wikipédia, a enciclopédia livre.
Na Teoria das categorias, uma mónade ou tripla é um (endo-)functor, junto com duas transformações naturais associadas. Elas são importantes na teoria dos pares de functores adjuntos e generalizam operadores de fechamento em posets para categorias arbitrárias.