categorical semantics 1closure operators 1formal concept analysis 1kan extensions 1possibilistic operators 1
From the 1 of 5 linked papers with an AI index.
Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Possibilistic operators in Formal Concept Analysis as Kan extensions
Torgeir Aambø
The paper shows that the eight Dubois‑Prade possibilistic operators used in Formal Concept Analysis can be derived as Kan extensions of a Boolean profunctor, and uses this insight…
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…