Understand Stone duality and Stone spaces

prathyvsh / morphisms-of-computational-structures

A visual catalogue + story of morphisms displayed across computational structures.

https://patternatlas.com/

120 stars 6 forks source link

Open prathyvsh opened 4 years ago

prathyvsh commented 4 years ago

What is Stone duality for boolean algebra?

What is Priestly duality?

Does Heyting algebra have a similar representation?

What about modal logic?

How is it connected to model theory?

How is it related to coalgebras? Are they the same? If not how are they related?