Related papers: Topological and uniform structures on universal co…

The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object $I$ in a topos to give such a path-based model of type theory in which paths are just functions with domain $I$.…

Hamiltonian structures for spatially compact locally homogeneous vacuum universes are investigated, provided that the set of dynamical variables contains the \Teich parameters, parameterizing the purely global geometry. One of the key…

We describe explicitly the geometric compactifications, obtained by adding slc surfaces $X$ with ample canonical class, for two connected components in the moduli space of surfaces of general type: Campedelli surfaces with $\pi_1(X)=\mathbb…

Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient…

It is well known that spinors on oriented Riemannian manifolds cannot be defined as sections of a vector bundle associated with the frame bundle. For this reason spin and spin^c structures are often introduced. In this paper we prove that…

For every finite closure space $X$ one can define a finite topological space $\operatorname{Top} X$ together with a natural projection $\operatorname{Top} X\longrightarrow X$. This could allow to apply the techniques of topological…

This article presents an algebraic topology perspective on the problem of finding a complete coverage probability of a one dimensional domain $X$ by a random covering, and develops techniques applicable to the problem beyond the one…

Given a semisimple, compact, connected Lie group G with complexification G^c, we show there is a stable range in the homotopy type of the universal moduli space of flat connections on a principal G-bundle on a closed Riemann surface, and…

For any topological space $X$ we study the relation between the universal uniformity $\mathcal U_X$, the universal quasi-uniformity $q\mathcal U_X$ and the universal pre-uniformity $p\mathcal U_X$ on $X$. For a pre-uniformity $\mathcal U$…

We have initiated the study of topology of the space of coverings on grid domains. The space has the following constraint: while all the covering agents can move freely (we allow overlapping) on the domain, their union must cover the whole…

We investigate the problem of assembling general shapes and patterns in a model in which particles move based on uniform external forces until they encounter an obstacle. While previous work within this model of assembly has focused on…

Let $\kappa$ be an infinite cardinal. A topological space $X$ is $\kappa$-bounded if the closure of any subset of cardinality $\le\kappa$ in $X$ is compact. We discuss the problem of embeddability of topological spaces into Hausdorff…

In this note, our aim is to show that families of smooth hypersurfaces of $\mathbb R^{n+1}$ which are all $C^1$--close enough to a fixed compact, embedded one, have uniformly bounded constants in some relevant inequalities for mathematical…

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…

Let X be an irreducible, reduced complex projective hypersurface of degree d. A uniform point for X is a point P such that the projection of X from P has maximal monodromy. We extend and improve some results concerning the finiteness of the…

We equip a topological space $(X,\tau)$ with a function $\mathfrak{a}: X \to \tau$ satisfying the single axiom $x \in \mathfrak{a}(x)$. The resulting triple $(X, \tau, \mathfrak{a})$, which we call an aura topological space, provides a…

This paper is about geometric and topological properties of a proper CAT(0) space $X$ which is cocompact - i.e. which has a compact generating domain with respect to the full isometry group. It is shown that geodesic segments in $X$ can…

The uniform structure on a differential space defined by a family of generators is considered.

In this paper, we have obtained a generalization of the Grothendieck's theorem for the space of continuous mappings $C_{\lambda,\mu}(X,Y)$ where $Y$ is a complete uniform space with the uniformity $\mu$ endowed with the topology of uniform…

In these notes, we study the relation between uniform and coarse embeddings between Banach spaces. In order to understand this relation better, we also look at the problem of when a coarse embedding can be assumed to be topological. Among…