Related papers: Internal Neighbourhood Spaces
Locally solid Riesz spaces have been widely investigated in the past several decades; but locally solid topological lattice-ordered groups seem to be largely unexplored. The paper is an attempt to initiate a relatively systematic study of…
In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian…
We present old and new characterizations of core spaces, alias worldwide web spaces, originally defined by the existence of supercompact neighborhood bases. The patch spaces of core spaces, obtained by joining the original topology with a…
Finite automata were used to determine multiple addresses in number systems and to find topological properties of self-affine tiles and finite type fractals. We join these two lines of research by axiomatically defining automata which…
This paper is one in a series that investigates topological measures on locally compact spaces. A topological measure is a set function which is finitely additive on the collection of open and compact sets, inner regular on open sets, and…
We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…
We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales…
Place classification is a fundamental ability that a robot should possess to carry out effective human-robot interactions. It is a nontrivial classification problem which has attracted many research. In recent years, there is a high…
The sets of closed and closed-normal subgroups of a profinite group carry a natural profinite topology. Through a combination of algebraic and topological methods the size of these subgroup spaces is calculated, and the spaces partially…
We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…
A neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspects of distributed systems. In this paper we introduce an…
Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…
We introduce a wide category of superspaces, called locally finitely generated, which properly includes supermanifolds but enjoys much stronger permanence properties, as are prompted by applications. Namely, it is closed under taking finite…
We study the set of localizations of an integral domain from a topological point of view, showing that it is always a spectral space and characterizing when it is a proconstructible subspace of the space of all overrings. We then study the…
In this paper, we propose to define the concept of family of local atoms and then we generalize this concept to the atomic system for operator in Banach spaces by using semi-inner product. We also give a characterization of atomic systems…
In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…
Categories of locally ordered spaces are especially well-adapted to the realization of most precubical sets, though their colimits are not so easy to determine (in comparison with colimits in the category of d-spaces for example). We use…