| dc.creator | Herrera Miranda, Jorge Alberto | |
| dc.creator | Herrera Miranda, Jorge Alberto | |
| dc.date | 2023-05-11T23:17:02Z | |
| dc.date | 2023-05-11T23:17:02Z | |
| dc.date | 1970 | |
| dc.identifier | http://hdl.handle.net/20.500.14076/24589 | |
| dc.description | En el Capítulo I se tratan los "Enlaces Universales", que representan "ligamentos" entre los funtores A de tal modo que S y T se comportan como inversos uno del otro.
Si S es Adjunto a izquierda de T entonces S (resp. T) preserva raíces derechas (resp. izquierdas) generalizadas. Dos Adjuntos a derecha de S son naturalmente equivalentes.
En el Capítulo 2 se tratan las categorías LogA y Log. Dado un conjunto A se construye una categoría A' cuyos objetos son los subconjuntos de A y con morfismos las inclusiones. También se construye la categoría Log A tomando como objetos las funciones preposicionales p(x), donde la variable proposicional x está sujeta a pertenecer al conjunto A. LogA y AT tienen la misma estructura algebraica.
Se sigue la notación de "Abelian Categories" de Peter Freyd. en particular al conjunto de morfismos que parten de un objeto A, a otro B de una categoría C se denota (A, B) C o también por (A,B). | |
| dc.description | Tesis | |
| dc.format | application/pdf | |
| dc.language | spa | |
| dc.publisher | Universidad Nacional de Ingeniería | |
| dc.rights | info:eu-repo/semantics/restrictedAccess | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.source | Universidad Nacional de Ingeniería | |
| dc.source | Repositorio Institucional - UNI | |
| dc.subject | Funtor adjunto | |
| dc.subject | Transformaciones naturales de adjuntos | |
| dc.title | Enlaces universales | |
| dc.type | info:eu-repo/semantics/bachelorThesis | |
