Showing 2026Show all
3 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.OC2026
Collective deterrence as a classification problem: Voting rules, deterrence credibility, and escalation risk
Torgeir Aambø
Deterrence coalitions that collectively own their deterrence technology, need an institutional design to decide when to retaliate against an attack or incident. This choice of inst…
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…