Categorical definitions and properties via generators

Definiciones y propiedades categóricas vía generadores

In the present work, we show how the study of categorical constructions does not have to be done with all the objects of the category, but we can restrict ourselves to work with families of generators. Thus, universal properties can be characterized through iterated families of generators, which leads us in particular to an alternative version of the adjoint functor theorem. Similarly, the properties of relations or subobjects algebra can be investigated by this method. We end with a result that relates various forms of compactness through representable functors of generators.

En el presente trabajo mostramos cómo el estudio de las construcciones categóricas no tiene por qué realizarse con todos los objetos de la categoría, sino que podemos restringirnos a trabajar con familias de generadores. Así, las propiedades universales pueden ser caracterizadas a través de familias iteradas de generadores, lo que nos lleva en particular a una versión alternativa del teorema del funtor adjunto. De igual forma, las propiedades de las relaciones o del álgebra de subobjetos pueden ser investigadas por este método. Terminamos con un resultado que relaciona diversas formas de compacidad a través de funtores representables de generadores.