We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves products and all exponentials of exponentiable locales.

We show that the subconstruct Fing of Prtop, consisting of all finitely generated pretopological spaces, is the largest Cartesian closed coreflective subeonstmct of Prtop. This implies that in any coreflective subconstruct of Prtop, exponential objects are finitely generated. Moreover, in any finitely productive, coreflective subconstruct, exponential objects are precisely those objects of the ...

More than a dozen years ago, Amadio [1] (see Amadio and Curien [2] as well) raised the question of whether the category of stable bifinite domains of Amadio-Droste [1,6,7] is the largest cartesian closed full sub-category of the category of ω-algebraic meet-cpos with stable functions. A solution to this problem has two major steps: (1) Show that for any ω-algebraic meet-cpo D, if all higher-ord...

We introduce the category IVRel(H) consisting of interval-valued H-fuzzy relational spaces and relation preserving mappings between them and we study structures of the category IVRel(H) in the viewpoint of the topological universe introduced by Nel. Thus we show that IVRel(H) satisfies all the conditions of a topological universe over Set except the terminal separator property and IVRel(H) is C...

Based on a complete Heyting algebra, we modify the definition of lattice-valued fuzzifying convergence space using fuzzy inclusion order and construct in this way a Cartesian-closed category, called the category of L−ordered fuzzifying convergence spaces, in which the category of L−fuzzifying topological spaces can be embedded. In addition, two new categories are introduced, which are called th...

We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of quotient event structure is defined within it. We study in particular the topological space of maximal configurations of quotient event structures. We introduce the compression of event structures as an example of quotient: the compression of an event structure E is a m...

The paper addresses the question of when the least-xed-point operator, in a cartesian closed category of domains, is characterised as the unique dinatural transformation from the exponentiation bifunctor to the identity functor. We give a suucient condition on a cartesian closed full subcategory of the category of algebraic cpos for the characterisation to hold. The condition is quite mild, and...

The long-standing problem of nding the maximal cartesian closed categories of continuous domains is solved. The solution requires the de nition of a new class of continuous domains, called FS-domains, which contains all retracts of SFPobjects. The properties of FS-domains are discussed in some detail.

In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...

It is well known that to be able to represent continuous functions between domain representable spaces it is critical that the domain representations of the spaces we consider are dense. In this article we show how to develop a representation theory over a category of domains with morphisms partial continuous functions. The raison d’être for introducing partial continuous functions is that by p...