Samuel Eilenberg y John C. Moore, en su artículo Adjoint functors and triples, muestran la correspondencia biyectiva que existe entre las mónadas con adjunto derecho y las comónadas con adjunto izquierdo. Sus resultados se pueden generalizar a una 2-categoría $K$ tal que $K$ y $K^{co}$ admitan la construcción de álgebras. Aquí los detalles de tal generalización.
No hay comentarios.:
Publicar un comentario