Monadicidad de procesos probabilistas y no deterministas
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 estruc...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/2812 |
| Aporte de: |
| Sumario: | 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. |
|---|