Mónada (teoría de categorías)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En Teoría de categorías, una rama de las matemáticas, una mónada, es un (endo-)funtor, unido a dos transformaciones naturales. Las mónadas se usan en teoría de pares de funtores adjuntos, y generalizan a los operadores de clausura en conjuntos parcialmente ordenados a categorías arbitrarias. Saunders Mac Lane adoptó el término filosófico mónada (una sola entidad que genera todas las otras entidades) para este concepto; haciendo notar así su capacidad para construir su categoría correspondiente.[1]

Referencias[editar]

  1. Mac Lane, Saunders (1998) Categories for the Working Mathematician: "The remarkable part is that the whole category Algτ can be reconstructed from this monad in Set."