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.pdf4,58 MBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons

Indexado por:
Indexado por Scholar Google LaReferencia Concytec BASE renati ROAR ALICIA RepoLatin UNI