CRL-Chu Correspondences

Authors

Ondrej Kridlo

Manuel Ojeda-Aciego

Published

1 January 2013

Publication details

Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013 , {CEUR} Workshop Proceedings vol. 1062, pages 105–116.

Links

 

Abstract

We continue our study of the general notion of L-Chu correspondence by introducing the category CRL-ChuCors incorporating residuation to the underlying complete lattice L, specifically, on the basis of a residuation-preserving isotone Galois connection λ. Then, the L-bonds are generalized within this same framework, and its structure is related to that of the extent of a suitably defined λ-direct product.

Citation

Please, cite this work as:

[KO13] O. Kridlo and M. Ojeda-Aciego. “CRL-Chu Correspondences”. In: Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013. Ed. by M. Ojeda-Aciego and J. Outrata. Vol. 1062. CEUR Workshop Proceedings. CEUR-WS.org, 2013, pp. 105-116. URL: https://ceur-ws.org/Vol-1062/paper9.pdf.

@InProceedings{Kridlo2013,
     author = {Ondrej Kridlo and Manuel Ojeda-Aciego},
     booktitle = {Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013},
     title = {CRL-Chu Correspondences},
     year = {2013},
     editor = {Manuel Ojeda-Aciego and Jan Outrata},
     pages = {105–116},
     publisher = {CEUR-WS.org},
     series = {{CEUR} Workshop Proceedings},
     volume = {1062},
     abstract = {We continue our study of the general notion of L-Chu correspondence by introducing the category CRL-ChuCors incorporating
    residuation to the underlying complete lattice L, specifically, on the basis of a residuation-preserving isotone Galois connection λ. Then, the L-bonds are generalized within this same framework, and its structure is related to that of the extent of a suitably defined λ-direct product.},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/cla/KridloO13.bib},
     timestamp = {Fri, 10 Mar 2023 16:22:10 +0100},
     url = {https://ceur-ws.org/Vol-1062/paper9.pdf},
}