1
vote
3answers
307 views

Why the preimage rather than image in Stone-type dualities.

I am seeking a deeper understanding of the representation of set-based objects in terms of Boolean algebras. Let $\wp(A)$ be the set of subsets of a set $A$. A relation $R \subseteq A \times B$ ...
5
votes
3answers
272 views

Why are possibility and necessity dual?

Hello, Recently, I'm studying modal logic for my master's thesis, and my research background is category theory. So, I naturally have a question that why it is said that necessity (box) and ...