7 papers
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…
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…
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…
Classification of localizing subcategories along t-structures
Torgeir Aambø
We study the interplay between localizing subcategories in a stable -category with -structure , the prestable…
Positselski duality in -categories
Torgeir Aambø
We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal -category , and prove a symmetric monoidal $\infty…
Algebraicity in monochromatic homotopy theory
Torgeir Aambø
Using Patchkoria--Pstrągowski's version of Franke's algebraicity theorem, we prove that the category of -local spectra is exotically equivalent to the category of derived $…
Formality of spaces with Lusternik-Schnirelmann category 1
Torgeir Aambø
It is a well known fact that formal dg-algebras admit no non-trivial Massey products, while the converse fails. We prove that by restricting to dg-algebras whose induced product on…