Related papers: On Postnikov completeness for replete topoi

We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication…

This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the…

This paper shows that for K a local field, k a subfield of K and X a variety over k, X is complete if and only if for every finite field extension K' of K, X(K') is compact in its strong topology.

We give a new completion for the quasi-uniform spaces. We call the whole procedure {\it $\tau$-completion} and the new space {\it $\tau$-complement of the given}. The basic result is that every $T_{_0}$ quasi-uniform space has a…

Given a non-negative weight $v$, not necessarily bounded or strictly positive, defined on a domain $G$ in the complex plane, we consider the weighted space $H_v^\infty(G)$ of all holomorphic functions on $G$ such that the product $v|f|$ is…

We characterize H-spaces which are p-torsion Postnikov pieces of finite type by a cohomological property together with a necessary acyclicity condition. When the mod p cohomology of an H-space is finitely generated as an algebra over the…

We show that the length spectrum metric on Teichm\"uller spaces of surfaces of infinite topological type is complete. We also give related results and examples that compare the length spectrum Teichm\"uller space with quasiconformal and the…

In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite…

We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules.

Let H be a Hilbert space and let F be the family of all countable subsets of an orthonormal basis of H. We show that if F is infinite then F is equipollent with every linear basis of the vector space H. In doing so we also present a short…

In this paper, we study ends of complete gradient non-trivial Schouten solitons. Without any additional assumptions, we show the shrinking ones have finitely many ends, and the expanding ones are connected at infinity. We also provide…

We show that the category of chain-complete posets is nearly locally presentable, we give a characterization of strong epimorphisms, and we offer an alternative proof of co-wellpoweredness.

We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

A Tychonoff space $X$ is called $\kappa$-pseudocompact if for every continuous mapping $f$ of $X$ into $\mathbb{R}^\kappa$ the image $f(X)$ is compact. This notion generalizes pseudocompactness and gives a stratification of spaces lying…

Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…

We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main…

In this paper, we analyze the Borel complexity of the topological conjugacy relation on Toeplitz subshifts. More specifically, we prove that topological conjugacy of Toeplitz subshifts with separated holes is hyperfinite. Indeed, we show…