The concept lattice functors

Lili Shen,Dexue Zhang

DOI: https://doi.org/10.1016/j.ijar.2012.07.002

IF: 4.452

2013-01-01

International Journal of Approximate Reasoning

Abstract:This paper is concerned with the relationship between contexts, closure spaces, and complete lattices. It is shown that, for a unital quantale L, both formal concept lattices and property oriented concept lattices are functorial from the category L-Ctx of L-contexts and infomorphisms to the category L-Sup of complete L-lattices and suprema-preserving maps. Moreover, the formal concept lattice functor can be written as the composition of a right adjoint functor from L-Ctx to the category L-Cls of L-closure spaces and continuous functions and a left adjoint functor from L-Cls to L-Sup.