SciELO - Scientific Electronic Library Online

 
vol.53 issue2On Symmetric (1,1)-Coherent Pairs and Sobolev Orthogonal polynomials: an algorithm to compute Fourier coefficientsGeneralized Bilateral Eighth Order Mock Theta Functions and Continued Fractions author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • On index processCited by Google
  • Have no similar articlesSimilars in SciELO
  • On index processSimilars in Google

Share


Revista Colombiana de Matemáticas

Print version ISSN 0034-7426

Rev.colomb.mat. vol.53 no.2 Bogotá July/Dec. 2019  Epub Mar 20, 2020

 

Artículos originales

Categorical definitions and properties via generators

Definiciones y propiedades categóricas vía generadores

GUSTAVO ARENGAS1 

1Universidad Nacional de Colombia, Bogotá, Colombia, Departamento de matemáticas, Facultad de ciencias carrera 30, calle 45, e-mail: gearengasr@unal.edu.co


ABSTRACT.

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.

Key words and phrases. Generators; universal property; adjoint functor theorem; relations; subobjects algebra; compactness

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.

Palabras y frases clave. Generadores; propiedad universal; teorema funtor adjunto; relaciones; álgebra de subobjetos; compacidad

Full text available only in PDF format.

References

[1] G. Arengas, La máxima pragmática peirceana: modelos categóricos, dualización, aproximaciones algebraicas y modalizaciones logicas, Tesis de doctorado, Universidad Nacional, 2018. [ Links ]

[2] M. Barr, On categories 'with effective unions, Categorical algebra and its applications, Springer, 1988, pp. 19-35. [ Links ]

[3] F. Borceux, When is u a cogenerator in a topos?, Cahiers de Topologie et Geometrie Differentielle Categoriques 16 (1975), no. 1, 3-15. [ Links ]

[4] ______, Handbook of categorical algebra, vol. 50, Cambridge: Cambridge University Press, 1994. F Borceux [ Links ]

[5] F. Borceux, D. Bourn, and P. Johnstone, Initial normal covers in bi-Heyting toposes, Arch. Math. 42 (2006), no. 4, 335-356. [ Links ]

[6] R. Borger and W. Tholen, Total categories and solid functors, Canad. J. Math 42 (1990), no. 2, 213-229. [ Links ]

[7] ______, Strong, regular and dense generators, Cahiers de topologie et geometrie differentielle categóriques 32 (1991), no. 3, 257-276. [ Links ]

[8] N. Bourbaki, Elements of mathematics: General topology . part 1 [chapters 1-4 ], Paris: Hermann, 1966. [ Links ]

[9] X. Caicedo and R. Cignoli, An algebraic approach to intuitionistic connectives, The Journal of Symbolic Logic 66 (2001), no. 4, 1620-1636. [ Links ]

[10] F. Freyd, Representations in abelian categories, Proceedings of the Conference on Categorical Algebra, Springer, 1966, pp. 95-120. [ Links ]

[11] A. Grothendieck, Sur quelques points d'algèbre homologique, Tohoku Mathematical Journal, Second Series 9 (1957), no. 2, 119-183. [ Links ]

[12] G. Higman and A. H. Stone, On inverse systems with trivial limits, Journal of the London Mathematical Society 1 (1954), no. 2, 233-236. [ Links ]

[13] S. MacLane, Categories for the working mathematician, Berlin: Springer, 2013. [ Links ]

[14] S. MacLane and I. Moerdijk, Sheaves in geometry and logic: A first introduction to topos theory, Berlin: Springer , 1992. [ Links ]

[15] E. Manes, Algebraic theories, Berlin: Springer , 1976. [ Links ]

[16] A. Oostra, Conectivos en topos, Tesis de maestría, Universidad Nacional, 1997. [ Links ]

[17] G. Osius, A note on Kripke-Joyal semantics for the internal language of topoi, Model theory and topoi, Springer, 1975, pp. 349-354. [ Links ]

[18] M. Shulman, Generators and colimit closures, http://home.sandiego.edu/~shulman/papers/generators.pdf (2008). [ Links ]

[19] R. Street, The family approach to total cocompleteness and toposes, Trans. of the Amer. Math. Soc. 284 (1984), no. 1, 355-369. [ Links ]

[20] W. Waterhouse , An empty inverse limit, Proc. amer. math. soc. 36 (1972), no. 2, 618. [ Links ]

[21] R. Wisbauer, Foundations of module and ring theory, Reading: Gordoan and Breach Science Publishers, 1991. [ Links ]

[22] Q. Yuan, Generators, https://qchu.wordpress.com/2015/05/17/generators/. [ Links ]

Received: October 2018; Accepted: August 2019

2010 Mathematics Subject Classification. 18A05, 18A30, 18A40, 18F20

Creative Commons License Todo el contenido de esta revista, excepto dónde está identificado, está bajo una Licencia Creative Commons BY