Concept lattices of $Q$-relations via diagonal and back-diagonal categories

Hongliang Lai, Bo Pang

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 la…