Answer by Simon Henry for Stone duality for the algebra of Boolean functions...
I might be missing something, but I think you are overcomplicating things.I clain that your topos classifies the theory $T$ of pairs $(B,\phi)$ where $B$ is a boolean algebra and $\phi : B \to \{0,1\}$...
View ArticleStone duality for the algebra of Boolean functions such that...
$\newcommand\FinSet{\mathit{FinSet}}\newcommand\FinBool{\mathit{FinBool}}\newcommand\FreeFinBool{\mathit{FreeFinBool}}\newcommand\Set{\mathit{Set}}\newcommand\Psh{\mathit{Psh}}$It's well-known that the...
View Article
More Pages to Explore .....