Definiciones y propiedades categóricas vía generadores
| Autor: | Gustavo Arengas |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Computer science
General Mathematics 010102 general mathematics adjoint functor theorem compacidad 01 natural sciences Generators Algebra relations universal property relaciones Mathematics::Category Theory Generadores 0103 physical sciences teorema funtor adjunto subobjects algebra compactness 010307 mathematical physics 0101 mathematics propiedad universal Categorical variable Computer Science::Databases álgebra de subobjetos |
| Zdroj: | Revista Colombiana de Matemáticas, Volume: 53, Issue: 2, Pages: 165-184, Published: 20 MAR 2020 |
| Popis: | 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. RESUMEN. En el presente trabajo mostramos como el estudio de las construcciones categóricas no tiene porque 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 traves 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|