morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Understand Stone duality and Stone spaces

Open prathyvsh opened this issue 4 years ago • 0 comments

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?

prathyvsh avatar Sep 29 '20 16:09 prathyvsh