We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability over more general structures, including all partial cartesian closed categories. We show how the general notion of realizability can be used to get models of dependent predicate logic, thus obtaining as a corollary (the known result)...

We prove in a uniform way that all Denjoy–Carleman differentiable function classes of Beurling type C(M) and of Roumieu type C{M}, admit a convenient setting if the weight sequence M = (Mk) is log-convex and of moderate growth: For C denoting either C(M) or C{M}, the category of C-mappings is cartesian closed in the sense that C(E, C(F,G)) ∼= C(E × F,G) for convenient vector spaces. Application...

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 ...

We introduce the category NCSet consisting of neutrosophic crisp sets and morphisms between them. And we study NCSet in the sense of a topological universe and prove that it is Cartesian closed over Set, where Set denotes the category consisting of ordinary sets and ordinary mappings between them. 2010 AMS Classification: 03E72, 18B05

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along aane lines. Enclosed ...

In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This accomplishes the first of a possible, two-step process in solving the problem raised in [1, 2]: whether the category of stable bifinite domains of Amadio-Droste-Göbel [1, 6] is the largest cartesian closed full subcategory...

We generalise Joyal’s notion of species of structures and develop their combinatorial calculus. In particular, we provide operations for their composition, addition, multiplication, pairing and projection, abstraction and evaluation, and differentiation; developing both the cartesian closed and linear structures of species.

The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category CONV of convergence spaces. It is well known that the category DCPO of dcpos and Scott continuous functions can be embedded into TOP, and so into CONV, by considering the Scott topology. We propose a di3erent, “cotopological” embedding of DCPO into CONV, which, in contrast to t...