Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.14076/24589
Title: Enlaces universales
Authors: Herrera Miranda, Jorge Alberto
Keywords: Funtor adjunto;Transformaciones naturales de adjuntos
Issue Date: 1970
Publisher: Universidad Nacional de Ingeniería
Abstract: 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
Rights: info:eu-repo/semantics/restrictedAccess
Appears in Collections:Matemáticas

Files in This Item:
File Description SizeFormat 
herrera_mj.pdf4,58 MBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons

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