{"id":"arxiv/2607.26776","url":"https://arxiv.org/abs/2607.26776","tags":["math.CT","cs.LO"],"score":0,"title":"Possibilistic operators in Formal Concept Analysis as Kan extensions","domain":"math.CT","source":"arxiv","authors":["Torgeir Aambø"],"reviews":0,"subject":"math.CT","summary":"In this paper we prove that Dubois--Prade's eight possibilistic operators in Formal Concept Analysis arise canonically from Kan extensions of the underlying boolean profunctor. This provides a conceptual explanation for the result that $NΠ$-pairs are the formal concepts of the complement context. We further prove that the FCA closure operator and the $NΠ$-pairs are the only symmetric or asymmetric operator compositions that give formal concepts. Finally we use these eight possibilistic operators to construct new closure operators on a formal context via standard categorical arguments.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}