Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/20.500.14076/24589
Título : | Enlaces universales |
Autor : | Herrera Miranda, Jorge Alberto |
Palabras clave : | Funtor adjunto;Transformaciones naturales de adjuntos |
Fecha de publicación : | 1970 |
Editorial : | Universidad Nacional de Ingeniería |
Resumen : | 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). |
URI : | http://hdl.handle.net/20.500.14076/24589 |
Derechos: | info:eu-repo/semantics/restrictedAccess |
Aparece en las colecciones: | Matemáticas |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
herrera_mj.pdf | 4,58 MB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
Indexado por: