Monadicidad de procesos probabilistas y no deterministas / Martín Santiago Moroni.
Detalles de publicación: [S.l. : s.n. ], 2015.Descripción: 36 p. : il. ; 30 cmTema(s): Recursos en línea: Disponible en línea.Nota de disertación: Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Resumen: 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.Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Trabajo Especial de Grado | FaMAF Secc. Tesis y Trabajos especiales | Trabajo Especial Matemática CAJA 17 - 22275 | 1 | Disponible | Disponible también en línea | 22275 |
Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
Incluye referencias bibliográficas: p. 36.
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.
Disponible en línea.
cc Bajo una Licencia Creative Commons Atribución-CompartirIgual 2.5 Argentina. CC BY-SA