Year: 2026
Type: preprint
Abstract: Let $Q$ be a commutative unital quantale and $\QRel$ the ordered category of sets and $Q$-relations. We develop a categorical foundation for formal and property-oriented concept lattices of $Q$-relations via the diagonal category $\DQRel$ and back-diagonal category $\BQRel$. Our main results are: (1) the formal concept lattice construction is induced by a representable functor on $\BQRel$; (2) the property-oriented concept lattice construction corresponds to a representable functor on $\DQRel$; and (3) for regular $Q$-relations, the property-oriented concept lattice of their pointwise tensor product is naturally isomorphic to the tensor product of the respective property-oriented concept lattices.
Source: arXiv (Cornell University)
Authors: Lai, Hongliang, Pang, Bo
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213343865