Escardó, Martín(Universitat Politècnica de València, 2003-04-01)
[EN] We show that the locales which are injective over perfect sublocale embeddings coincide with the underlying objects of the algebras of the upper powerlocale monad, and we characterize them as those whose frames of ...
Ozcag, Selma; Brown, Lawrence M.(Universitat Politècnica de València, 2003-04-01)
[EN] Textures were introduced by the second author as a point-based setting for the study of fuzzy sets, and have since proved to be an appropriate framework for the development of complement-free mathematical concepts. ...
Giuli, Eraldo(Universitat Politècnica de València, 2003-04-01)
[EN] For a given class X of T0 spaces the existence of a subclass C, having the same properties that the class of complete metric spaces has in the class of all metric spaces and non-expansive maps, is investigated. A ...
Kopperman, Ralph; Robbie, Desmond(Universitat Politècnica de València, 2003-04-01)
[EN] Skew compact spaces are the best behaving generalization of compact Hausdorff spaces to non-Hausdorff spaces. They are those (X ; τ ) such that there is another topology τ* on X for which τ V τ* is compact and (X; τ ...
Brattka, Vasco(Universitat Politècnica de València, 2003-04-01)
[EN] Representations of topological spaces by infinite sequences of symbols are used in computable analysis to describe computations in topological spaces with the help of Turing machines. From the computer science point ...