日々の流転

λ. spectral locale と compact coprime opens

Topology via Logic の p.122。「Definition 9.3.3: A spectral locale D is a spectral algebraic locale iff every compact open can be expressed as a finite join of compact, coprime opens.」の後の「It follows that in a spectral locale every open is a join (not necessarily finite) of compact coprimes」に2日くらい悩んでいたのだが、これってひょっとして条件の「spectral locale」が「spectral algebraic locale」の間違いだったというオチ?