Some cartesian closed topological categories of convergence spaces

1976 ◽  
pp. 93-108 ◽  
Author(s):  
Gérard Bourdaud
Keyword(s):  
Convergence Spaces ◽  
Cartesian Closed

scholarly journals The category of uniform convergence spaces is cartesian closed

1976 ◽  
Vol 15 (3) ◽  
pp. 461-465 ◽  
Author(s):  
R.S. Lee
Keyword(s):  
Uniform Convergence ◽  
Function Spaces ◽  
Convergence Spaces ◽  
Cartesian Closedness ◽  
Cartesian Closed ◽  
And Function

This paper first assigns specific uniform convergence structures to the products and function spaces of pairs of uniform convergence spaces, and then establishes a bijection between corresponding sets of morphisms which yields cartesian closedness.

scholarly journals Function spaces based on L-sets

Filomat ◽  
2020 ◽  
Vol 34 (11) ◽  
pp. 3815-3834
Author(s):  
Jinming Fang ◽  
Yueli Yue
Keyword(s):  
Function Spaces ◽  
Concrete Category ◽  
Convergence Spaces ◽  
Cartesian Closed

For a commutative, integral, and divisible quantale L, a concept of top L-convergence spaces based on L-sets other than crisp sets is proposed by using a kind of L-filters, namely limited L-filters defined in the paper. Our main result is the existence of function spaces in the the concrete category of top L-convergence spaces over the slice category Set#L rather than the category Set of sets, such that the concrete category of top L-convergence spaces over the slice category Set#L is Cartesian closed. In order to support the existence of top L-convergence spaces, some nontrivial examples of limited L-filters and top L-convergence spaces are presented also.

scholarly journals On the continuous action of enriched lattice-valued convergence groups: Some examples

Filomat ◽  
2020 ◽  
Vol 34 (9) ◽  
pp. 3045-3064
Author(s):  
T.M.G. Ahsanullah ◽  
Fawzi Al-Thukair ◽  
Jawaher Al-Mufarrij
Keyword(s):  
Transformation Group ◽  
Transformation Groups ◽  
Triangular Norm ◽  
Topological Transformation ◽  
Continuous Action ◽  
Convergence Spaces ◽  
Group A ◽  
Convergence Approach Spaces ◽  
Cartesian Closed ◽  
Approach Spaces

Starting with a category SL-CONVGRP, of stratified enriched cl-premonoid-valued convergence groups as introduced earlier, we present a category SL-CONVTGRP, of stratified enriched cl-premonoid-valued convergence transformation groups, the idea behind this category is crept in the notion of convergence transformation group - a generalization of topological transformation group. In this respect, we are able to provide natural examples in support to our endeavor; these examples, however, stem from the action of convergence approach groups on convergence approach spaces, and the action of probabilistic convergence groups under triangular norm on probabilistic convergence spaces. Based on the category of enriched lattice-valued convergence spaces, a Cartesian closed category that enjoys lattice-valued convergence structure on function space, we look into among others, the lattice-valued convergence structures on the group of homeomorphisms of enriched lattice-valued convergence spaces, generalizing a concept of convergence transformation groups on convergence spaces, obtaining a characterization.

scholarly journals Dynamic game semantics

2020 ◽  
pp. 1-60
Author(s):  
Norihiro Yamada ◽  
Samson Abramsky
Keyword(s):  
Programming Languages ◽  
Functional Programming ◽  
Operational Semantics ◽  
Dynamic Game ◽  
Standard Interpretation ◽  
Functional Programming Languages ◽  
Game Semantics ◽  
Wide Range ◽  
Cartesian Closed Categories ◽  
Cartesian Closed

Abstract The present work achieves a mathematical, in particular syntax-independent, formulation of dynamics and intensionality of computation in terms of games and strategies. Specifically, we give game semantics of a higher-order programming language that distinguishes programmes with the same value yet different algorithms (or intensionality) and the hiding operation on strategies that precisely corresponds to the (small-step) operational semantics (or dynamics) of the language. Categorically, our games and strategies give rise to a cartesian closed bicategory, and our game semantics forms an instance of a bicategorical generalisation of the standard interpretation of functional programming languages in cartesian closed categories. This work is intended to be a step towards a mathematical foundation of intensional and dynamic aspects of logic and computation; it should be applicable to a wide range of logics and computations.

Epis in categories of convergence spaces

1993 ◽  
Vol 61 (3-4) ◽  
pp. 195-201 ◽  
Author(s):  
D. Dikranjan ◽  
E. Giuli
Keyword(s):  
Convergence Spaces

scholarly journals Order compatibility for Cauchy spaces and convergence spaces

1987 ◽  
Vol 10 (2) ◽  
pp. 209-216
Author(s):  
D. C. Kent ◽  
Reino Vainio
Keyword(s):  
Uniform Convergence ◽  
Weak Order ◽  
Convergence Spaces ◽  
Convergence Structure ◽  
Cauchy Structure ◽  
Cauchy Spaces

A Cauchy structure and a preorder on the same set are said to be compatible if both arise from the same quasi-uniform convergence structure onX. Howover, there are two natural ways to derive the former structures from the latter, leading to “strong” and “weak” notions of order compatibility for Cauchy spaces. These in turn lead to characterizations of strong and weak order compatibility for convergence spaces.

scholarly journals All cartesian closed categories of quasicontinuous domains consist of domains

2015 ◽  
Vol 594 ◽  
pp. 143-150 ◽  
Author(s):  
Xiaodong Jia ◽  
Achim Jung ◽  
Hui Kou ◽  
Qingguo Li ◽  
Haoran Zhao
Keyword(s):  
Cartesian Closed Categories ◽  
Cartesian Closed
Sign in / Sign up

Export Citation Format

Share Document