In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...

We introduce the notion of quasi-zero-dimensionality as a substitute for the notion of zero-dimensionality, motivated by the fact that the latter behaves badly in the realm of qcb-spaces. We prove that the category QZ of quasi-zero-dimensional qcb0-spaces is cartesian closed. Prominent examples of spaces in QZ are the spaces in the sequential hierarchy of the Kleene-Kreisel continuous functiona...

Quasicontinuity is a generalisation of Scott’s notion of continuous domain, introduced in the early 80s by Gierz, Lawson and Stralka. In this paper we ask which cartesian closed full subcategories exist in qCONT, the category of all quasicontinuous domains and Scottcontinuous functions. The surprising, and perhaps disappointing, answer turns out to be that all such subcategories consist entirel...

In this sequel to [HM02], we explore some of the global aspects of the category of paracategories. We establish its (co)completeness and cartesian closure. From the closed structure we derive the relevant notion of transformation for paracategories. We set-up the relevant notion of adjunction between paracategories and apply it to define (co)completeness and cartesian closure, exemplified by th...

We show that the lattice of compactifications of a topological group $G$ is a complete lattice which is isomorphic to the lattice of all closed normal subgroups of the Bohr compactification $bG$ of $G$. The correspondence defines a contravariant functor from the category of topological groups to the category of complete lattices. Some properties of the compactification lattice of a topological ...

or171algebra12, 25adapted to typed set150associated37, 43, 150, 152bottomed58category-based126containing a typed set37disjoint from a typed set46extension of46free37functionally free145, 147functional145, 147ground term56heterogenous54initial12, 33initial completion of104<...

We introduce a bicartesian closed category of what we call pro nite domains. Study of these domains is carried out through the use of an equivalent category of pre-orders in a manner similar to the information systems approach advocated by Dana Scott and others. A class of universal pro nite domains is de ned and used to derive su cient conditions for the pro nite solution of domain equations i...

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the theory of “gleaves”, which are presheaves equipped with an additional “gluing operation” of compatible pairs of local sections. This generalizes the conditi...

The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.

Semiuniform convergence spaces form a common generalization of lter spaces (including symmetric convergence spaces and thus symmetric topological spaces] as well as Cauchy spaces) and uniform limit spaces (including uniform spaces) with many convenient properties such as cartesian closedness, hereditariness and the fact that products of quotients are quotients. Here, for each semiuniform conver...