Necessity of non-stratified and anti-stratified spaces in lattice-valued topology (Q969581)

The necessity of stratified spaces in lattice-valued topology is well known. On the other hand, the necessity of non-stratified spaces was recognized a long time ago. The paper provides some further arguments for the necessity of both stratified and non-stratified spaces in fixed-basis topology and variable-basis topology. This is done by studying the characteristic functor, the \(L\)-spectrum and \(L\)-soberification functors, the upper free functor associated with chain-valued frames, and two functorial embeddings associated with topological systems from semantic domains.