http://dx.doi.org/10.15446/recolma.v48n1.45193

¹Universidad Distrital Francisco José de Caldas, Bogotá, Colombia. Email: gmunoz@udistrital.edu.co

En este artículo se caracterizan los enlaces (bonds) definidos por Wille, mediante unos axiomas menos rígidos que facilitan la definición de la categoría BOND. Como los enlaces generalizan las transformaciones de Chu, se presenta un funtor entre CHU y BOND que es fiel. Además, se proponen los morfismos de Galois, los cuales generalizan los enlaces y permiten crear la categoría MGI (la I indica que invierten el orden). Finalmente, se propone un método general para construir categorías de adjunciones a partir de cualquier categoría. La categoría de adjunciones generada a partir de la categoría de las conexiones de Galois que preservan el orden, denominada MGP (la P indica que preserva el orden), resulta ser equivalente a la categoría MGI.

Palabras clave: Conexiones de Galois, enlaces, transformaciones de Chu.

In this paper we characterize bonds, as defined by Wille, by employing a less rigid set of axioms thus enabling the definition of the category BOND. Since bonds generalize Chu mappings we present a faithful functor between CHU and BOND. Moreover, we propose the Galois morphisms generalizing bonds; this allows us to define the category MGI. Lastly, we suggest a general method to construct categories of adjunctions from any given category. The category of adjunctions generated from the category of order-preserving Galois connections, named MGP, turns out to be equivalent to the category MGI.

Key words: Galois connections, Bonds, Chu mappings.

Texto completo disponible en PDF

Referencias

[1] R. Backhouse, 'Pair Algebras and Galois Connections', Information Processing Letters 67, 4 (1998), 169-175.         [ Links ]

[2] M. Barr, '*-Autonomous Categories, Revisited', Journal of Pure and Applied Algebra 111, 1 (1996),         [ Links ] 1-20.

[3] B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2nd edn, Cambridge University Press,         [ Links ] 2002.

[4] J. T. Denniston, A. Melton, and S. E. Rodabaugh, 'Formal Concept Analysis and Lattice-Valued Chu Systems', Fuzzy Sets and Systems 216, (2013), 52-90. Special Issue: Linz 2011 - Decision Theory: Qualitative and Quantitative Approaches         [ Links ]

[5] M. Erné, Adjunctions and Galois Connections: Origins, History and Development, Vol. 565 of Mathematics and Its Applications, Springer Netherlands,         [ Links ] 2004.

[6] B. Ganter and R. Wille, Formal Concept Analysis - Mathematical Foundations, Springer, Berlin, Germany,         [ Links ] 1999.

[7] V. Gupta, Chu Spaces: A Model of Concurrency, PhD thesis, Stanford University,         [ Links ] 1994.

[8] O. Kridlo, P. Mihalcin, S. Krajci, and L. Antoni, Formal Concept Analysis of Higher Order, 'CLA', (2013), p. 117-128.         [ Links ]

[9] J. M. McDill, A. C. Melton, and G. E. Strecker, A Category of Galois Connections, 'Category Theory and Computer Science', 1987, Vol. 283 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, p. 290-300.         [ Links ]

[10] Gerardo-Alcides Munoz, Categorías de contextos formales, PhD thesis, Universidad Nacional de Colombia, Sede Bogotá,         [ Links ] 2011.

[11] L. Shen and D. Zhang, 'The Concept Lattice Functors', International Journal of Approximate Reasoning 54, 1 (2013), 166-183.         [ Links ]

[12] Guo-Qiang Zhang, 'Chu Spaces, Concept Lattices, and Domains', Electronic Notes in Theoretical Computer Science 83, (2003), 287-302. Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics         [ Links ]

[13] Guo-Qiang Zhang and G. Shen, 'Aproximable Concepts, Chu Spaces, and Information Systems', Theory and Applications of Categories 17, 5 (2006), 80-102.         [ Links ]

Este artículo se puede citar en LaTeX utilizando la siguiente referencia bibliográfica de BibTeX: