A result by Curien establishes that filiform concrete data structures can be viewed as games. We extend the idea to cover all stable concrete data structures. This necessitates a theory of games with an equivalence relation on positions. We present a faithful functor from the category of concrete data structures to this new category of games, allowing a game-like reading of the former. It is po...

The concept of generalised species of structures between small categories and, correspondingly, that of generalised analytic functor between presheaf categories are introduced. An operation of substitution for generalised species, which is the counterpart to the composition of generalised analytic functors, is also put forward. These definitions encompass most notions of combinatorial species c...

We pose the problem of whether every FS-domain is a retract of abifinite domain purely in terms of quasi-uniform spaces. 6.1 The problem and its historyEver since domains were introduced by Dana Scott [Sco70] and Yuri Er-shov [Ers75], a question in the centre of interest was to find suitable cartesianclosed categories of domains and the quest for cartesian closed categories ...

There have traditionally been two approaches to modelling environments, one by use of nite products in Cartesian closed categories , the other by use of the base categories of indexed categories with structure. Recently, there have been more general deenitions along both of these lines: the rst generalising from Cartesian to symmetric premonoidal categories, the second generalising from indexed...

This paper presents the concepts of $(L,M)$-fuzzy Q-convergence spaces and stratified $(L,M)$-fuzzy Q-convergence spaces. It is shown that the category of stratified $(L,M)$-fuzzy Q-convergence spaces is a bireflective subcategory of the category of $(L,M)$-fuzzy Q-convergence spaces, and the former is a Cartesian-closed topological category. Also, it is proved that the category of stratified $...

based on a complete heyting algebra l, the relations between lfuzzifyingconvergence spaces and l-fuzzifying topological spaces are studied.it is shown that, as a reflective subcategory, the category of l-fuzzifying topologicalspaces could be embedded in the category of l-fuzzifying convergencespaces and the latter is cartesian closed. also the specialization l-preorderof l-fuzzifying convergenc...