Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Funtores"”.
-
Una interpretación lógico-algebraica de la semántica de la programación
… determinadas) mediante la adjunción de dos funtores, que son el propio programa y su correspondiente operador de precondición más débil. Como resultado colateral, se realiza una nueva caracterización de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los …
-
Homotopía cónica
… homotopía. Relacionando su teoría con pares de funtores adjuntos, haciendo un estudio sobre categorías aditivas y axiomatizando el producto numérico real sobre el intervalo unidad desarrolla diversos métodos para la obtención de conos que se concretan en ejemplos de homotopías conocidas, como la …
-
Categorías aplicadas a la teoría de álgebra de Banach
En esta tesis se pretende emplear la teoría de categorías para obtener resultados de forma más eficiente en el estudio de álgebras de Banach. En particular, consideraremos algunas estructuras y transformaciones que son útiles para clarificar la demostración del teorema de Gelfand-Naimark. Estas …