Related papers: A Constructive Approach to Complete Spaces

Covering space theory is used to construct new examples of buildings.

In this paper we present a topological way of building a compactification of a symmetric space from a compactification of a Weyl Chamber.

Metric spaces satisfying properties stronger than completeness and weaker than compactness have been studied by many authors over the years. One such significant family is that of cofinally complete metric spaces. We discuss the…

We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

We develop a simple method of constructing topological spaces from countable posets with finite levels, one which applies to all second countable T_1 compacta. This results in a duality amenable to building such spaces from finite building…

In present paper, the definition of new metric space with neutrosophic numbers is given. Several topological and structural properties have been investigated. The analogues of Baire Category Theorem and Uniform Convergence Theorem are given…

We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures…

In some scientific fields, a scaling is able to modify the topology of an observed object. Our goal in the present work is to introduce a new formalism adapted to the mathematical representation of this kind of phenomenon. To this end, we…

Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…

It is well-known that point-set topology (without additional structure) lacks the capacity to generalize the analytic concepts of completeness, boundedness, and other typically-metric properties. The ability of metric spaces to capture this…

In this paper we introduce, by means of the category of exterior spaces and using a process that generalizes the Alexandroff compactification, an analogue notion of numerable covering of a space in the proper and exterior setting. An…

In this paper a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings begins. Some completeness and cocompleteness results are achieved.…

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…

A relatively simple algebraic framework is given, in which all the compact symmetric spaces can be described and handled without distinguishing cases. We also give some applications and further results.

We introduce the concept of deck transformations within the category of developable complexes of groups. Drawing inspiration from classical covering theory for topological spaces, we propose an alternative construction of the universal…

In this paper we introduce the concept of the rectangular metric like spaces, along with its topology and we prove some fixed point theorems under different contraction principles. We introduce the concept of modified metric-like space as…

In this paper we make some observations concerning m-metric spaces and point out some discrepancies in the proofs found in the literature. To remedy this, we propose a new topological construction and prove that it is in fact a…

Coarse geometry, the branch of topology that studies the global properties of spaces, was originally developed for metric spaces and then Roe introduced coarse structures as a large-scale counterpart of uniformities. In the literature,…