Definiciones y propiedades categóricas vía generadores

• Arengas, Gustavo ^[1]
  1. [1] Universidad Nacional de Colombia

     Universidad Nacional de Colombia

     Colombia

     
• Localización: Revista Colombiana de Matemáticas, ISSN-e 0034-7426, Vol. 53, Nº. 2, 2019, págs. 165-184
• Idioma: español
• DOI: 10.15446/recolma.v53n2.85525
• Títulos paralelos:
  • Categorical definitions and properties via generators
• Enlaces
  • Texto completo
• Resumen
  • español

    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.

  • English

    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.

• Referencias bibliográficas
  • G. Arengas, La máxima pragmática peirceana: modelos categóricos, dualización, aproximaciones algebraicas y modalizaciones lógicas, Tesis de...
  • M. Barr, On categories with effective unions, Categorical algebra and its applications, Springer, 1988, pp. 19-35.
  • F. Borceux, When is ! a cogenerator in a topos?, Cahiers de Topologie et Géométrie Différentielle Catégoriques 16 (1975), no. 1, 3-15.
  • F. Borceux, Handbook of categorical algebra, vol. 50, Cambridge: Cambridge University Press, 1994.
  • F. Borceux, D. Bourn, and P. Johnstone, Initial normal covers in bi-Heyting toposes, Arch. Math. 42 (2006), no. 4, 335-356.
  • R. Börger and W. Tholen, Total categories and solid functors, Canad. J. Math 42 (1990), no. 2, 213-229.
  • R. Börger and W. Tholen, Strong, regular and dense generators, Cahiers de topologie et géométrie différentielle categóriques 32 (1991), no....
  • N. Bourbaki, Elements of mathematics: General topology. part 1 [chapters 1-4], Paris: Hermann, 1966.
  • X. Caicedo and R. Cignoli, An algebraic approach to intuitionistic connectives, The Journal of Symbolic Logic 66 (2001), no. 4, 1620-1636.
  • F. Freyd, Representations in abelian categories, Proceedings of the Conference on Categorical Algebra, Springer, 1966, pp. 95-120.
  • A. Grothendieck, Sur quelques points d'algèbre homologique, Tohoku Mathematical Journal, Second Series 9 (1957), no. 2, 119-183.
  • G. Higman and A. H. Stone, On inverse systems with trivial limits, Journal of the London Mathematical Society 1 (1954), no. 2, 233-236.
  • S. MacLane, Categories for the working mathematician, Berlin: Springer, 2013.
  • S. MacLane and I. Moerdijk, Sheaves in geometry and logic: A first introduction to topos theory, Berlin: Springer, 1992.
  • E. Manes, Algebraic theories, Berlin: Springer, 1976.
  • A. Oostra, Conectivos en topos, Tesis de maestría, Universidad Nacional, 1997.
  • G. Osius, A note on Kripke-Joyal semantics for the internal language of topoi, Model theory and topoi, Springer, 1975, pp. 349-354.
  • M. Shulman, Generators and colimit closures, http://home.sandiego.edu/~shulman/papers/generators.pdf (2008).
  • R. Street, The family approach to total cocompleteness and toposes, Trans. of the Amer. Math. Soc. 284 (1984), no. 1, 355-369.
  • W. Waterhouse, An empty inverse limit, Proc. amer. math. soc. 36 (1972), no. 2, 618.
  • R. Wisbauer, Foundations of module and ring theory, Reading: Gordoan and Breach Science Publishers, 1991.
  • Q. Yuan, Generators, https://qchu.wordpress.com/2015/05/17/generators/.