Questions tagged [stone-duality]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
0answers
107 views

Abstract stone duality and cohesive homotopy type theory

I have been reading the real-cohesive homotopy type theory paper and one of the remarks has sparked an interest. In this paper a string of monadic and comonadic modalities is introduced together with ...