Mónade (teoria das categorias)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Disambig grey.svg Nota: Se procura por outros significados das palavras Mónade ou Mônada, veja Mônada (desambiguação).

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.