Monadicidad de procesos probabilistas y no deterministas

Abstract

En este trabajo se estudian algunas nociones de teoría de categorías, fundamentalmente adjunciones y mónadas, en un intento de entender en sentido categórico construcciones algebráicas como semireticulados o conos reales. Las mónadas asociadas a las teorías ecuacionales que dan origen a tales estructuras sirven en computación teórica para modelar ciertos efectos computacionales como probabilidad y no determinismo. La posibilidad de combinar tales nociones de computabilidad a partir de las mónadas correspondientes se enfrenta a la dificultad categórica de inexistencia de una ley distributiva entre ellas.