Related papers: On generalized equilogical spaces
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…
In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…
This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
Let $\mathcal{C}=(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we introduce and study quasi-resolving subcategories in $\mathcal{C}$. More precisely,…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…
We argue for the addition of category theory to the toolkit of toric topology, by surveying recent examples and applications. Our case is made in terms of toric spaces X_K, such as moment-angle complexes Z_K, quasitoric manifolds M, and…
We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of…
This work mainly concerns the -- here introduced -- category of $\mathscr Q$-sets and functional morphisms, where $\mathscr Q$ is a commutative semicartesian quantale. We describe, in detail, the limits and colimits of this complete and…
In this paper induced U-equivalence spaces are introduced and discussed. Also the notion of U-equivalently open subsets of a U-equivalence space and U-equivalently open functions are studied. Finally, equivalently uniformisable topological…
We prove that the category of quasi-pseudometric modular spaces whose morphisms are the nonexpansive mappings is isomorphic to a quantale enriched category. To achieve this, we construct an appropriate quantale of isotone functions. We also…
Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…
The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with…
Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…