Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Possibilistic operators in Formal Concept Analysis as Kan extensions
Torgeir Aambø
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. Thi…
math.CT2026
A categorical formalization of epistemic uncertainty frameworks
Torgeir Aambø
Epistemic uncertainty arises in lack of complete knowledge about the state of a system. There are multiple mathematical frameworks for measuring such uncertainty quantitatively, of…