Enlaces universales

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).