{"id":"arxiv/2609.13809","url":"https://arxiv.org/abs/2609.13809","tags":["math.CT"],"score":0,"title":"Concept lattices of $Q$-relations via diagonal and back-diagonal categories","domain":"math.CT","source":"arxiv","authors":["Hongliang Lai","Bo Pang"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}