Mónade (teoria das categorias)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

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.