Related papers: Condensed Sets via free resolutions

We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.

We show that any set of quotients with fixed Chern classes of a given coherent sheaf on a compact Kaehler manifold is bounded in a sense which we define. The result is proved by adapting Grothendieck's boundedness criterium expressed via…

In this paper we show that given any compact set $E \subset \hat{\mathbb{C}}$, we can always find a conformally removable subset with the same Hausdorff dimension as $E$.

Generalizing a theorem of Ph. Dwinger, we describe the partially ordered set of all (up to equivalence) zero-dimensional locally compact Hausdorff extensions of a zero-dimensional Hausdorff space. Using this description, we find the…

Using the wedge sum of metric spaces, for all compact metrizable spaces, we construct a topological embedding of the compact metrizable space into the set of all metric trees in the Gromov--Hausdorff space with finite prescribed values. As…

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…

Decomposition spaces are a class of function spaces constructed out of well-behaved coverings and partitions of unity of a set. The structure of the covering of the set determines the properties of the decomposition space. Besov spaces,…

We introduce a definition of thickness in $\mathbb{R}^d$ and obtain a lower bound for the Hausdorff dimension of the intersection of finitely or countably many thick compact sets using a variant of Schmidt's game. As an application we prove…

We prove that every pointed closed convex set in $\mathbb{R}^n$ is the intersection of all the rational closed halfspaces that contain it. This generalizes a previous result by the authors for compact convex sets.

This paper gives some relating results for various concepts of convexity in metric spaces such as midpoint convexity, convex structure, uniform convexity and near-uniform convexity, Busemann curvature and its relation to convexity. Some…

We introduce the abstract setting of presheaf category on a thick category of cubes. Precubical sets, symmetric transverse sets, symmetric precubical sets and the new category of (non-symmetric) transverse sets are examples of this…

The notion of soft sets is introduced as a general mathematical tool for dealing with uncertainty. In this paper, we consider the concepts of soft compactness, countably soft compactness and obtain some results. We study some soft…

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces generated by one-point convergence spaces, and then naturally…

We show that, given a compact Hausdorff space $\Omega$, there is a compact group ${\mathbb G}$ and a homeomorphic embedding of $\Omega$ into ${\mathbb G}$, such that the restriction map ${\rm A}({\mathbb G})\to C(\Omega)$ is a complete…

It is well known that finite-dimensional polyhedral convex sets can be generated by finitely many points and finitely many directions. Representation formulas in this spirit are obtained for convex polyhedra and generalized convex polyhedra…

We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…

We show that any equivalence of bounded derived categories of coherent sheaves on a smooth projective complex variety supported in a closed algebraic subset preserves the dimension of the support in two cases: (i) the restriction of the…

Using methods from ergodic theory along with properties of the Furstenberg measure we obtain conditions under which certain classes of plane self-affine sets have Hausdorff or box-counting dimensions equal to their affinity dimension. We…

In this short note, we show that, in any given metric space, every Lipschitz open-map image of every subset of a given metric space whose boundary is Hausdorff-null is Hausdorff-measurable with respect to the same dimension. The main…