Related papers: Condensed Sets via free resolutions

We prove that if F is a foliation of a compact manifold M with all leaves compact submanifolds, and the transverse saturated category of F is finite, then the leaf space M/F is compact Hausdorff. The proof is surprisingly delicate, and is…

We develop a theory of limits for sequences of dense abstract simplicial complexes, where a sequence is considered convergent if its homomorphism densities converge. The limiting objects are represented by stacks of measurable [0,1]-valued…

We study the relationship between the sizes of two sets $B, S\subset\mathbb{R}^2$ when $B$ contains either the whole boundary, or the four vertices, of a square with axes-parallel sides and center in every point of $S$, where size refers to…

This article is concerned with the approximation of unbounded convex sets by polyhedra. While there is an abundance of literature investigating this task for compact sets, results on the unbounded case are scarce. We first point out the…

The category of crossed complexes gives an algebraic model of the category of $CW$-complexes and cellular maps. We explain basic results on crossed complexes which allow the computation of free crossed resolutions of graph products of…

We study a family of gradient obstacle problems on a compact Riemannian manifold. We prove that the solutions of these free boundary problems are uniformly semiconcave and, as a consequence, we obtain some fine convergence results for the…

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

We use convergence theory as the framework for studying H-closed spaces and H-sets in topological spaces. From this viewpoint, it becomes clear that the property of being H-closed and the property of being an H-set in a topological space…

We study the closure of the convex hull of a compact set in a complete CAT(0) space. First we give characterization results in terms of compact sets and the closure of their convex hulls for locally compact CAT(0) spaces that are either…

Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic subsets, or equivalently by Chern classes of coherent sheaves. On a compact Kaehler manifold, Hodge…

In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…

For a convergent series with positive terms, we prove that the $\ell^\infty$ product space of bounded subspaces of the Gromov-Hausdorff space can be isometrically embedded into the Gromov-Hausdorff space, where each subspace consists of…

We prove that each non-separable completely metrizable convex subset of a Frechet space is homeomorphic to a Hilbert space. This resolves an old (more than 30 years) problem of infinite-dimensional topology. Combined with the topological…

We prove the existence of infinite dense free sets (in the usual topology) for set mappings on the reals, under reasonable assumptions.

We show that the Hausdorff reflection preserves the shape type of spaces. Some examples as well as the applicability in inverse limits of finite spaces are presented.

It follows from a theorem of Rosenthal that a compact space is $ccc$ if and only if every Eberlein continuous image is metrizable. Motivated by this result, for a class of compact spaces $\mathcal{C}$ we define its orthogonal…

Previously, the authors used the insights of Robinson's non-standard analysis as a powerful tool to extend and simplify the construction of some compactifications of regular spaces. They now show that any Hausdorff compactification is…

We discuss here geometric structures of condensed matters by means of a fundamental topological method. Any geometric pattern can be universally represented by a decomposition space of a topological space consisting of the infinite product…

In this paper we obtain improved dimensional thresholds for dot product sets corresponding to compact subsets of a paraboloid. As a direct application of these estimates, we obtain significant improvements to the best known dimensional…

The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…