Related papers: Constructing Selections Stepwise Over Cones of Sim…
We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.
We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…
We develop the theory of locally small spaces in a new simple language and apply this simplification to re-build the theory of locally definable spaces over structures with topologies.
We give an explicit simple construction for classifying spaces of maps obtained as hyperplane projections of immersions. We prove structure theorems for these classifying spaces.
We give a proof of the existence of generalized definable locally compact models for arbitrary approximate subgroups via an application of topological dynamics in model theory. Our construction is simpler and shorter than the original one…
We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
A remarkable and elementary fact that a locally compact set F of Euclidean space is a smooth manifold if and only if the lower and upper paratangent cones to F coincide at every point, is proved. The celebrated von Neumann's result (1929)…
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…
In this paper, we study an interplay between local and global properties of spaces of minimal usco maps equipped with the topology of uniform convergence on compact sets. In particular, for each locally compact space $X$ and metric space…
The real cohomology of the space of imbeddings of S^1 into R^n, n>3, is studied by using configuration space integrals. Nontrivial classes are explicitly constructed. As a by-product, we prove the nontriviality of certain cycles of…
In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely…
Non-compact symmetries cannot be fully broken by randomness since non-compact groups have no invariant probability distributions. In particular, this makes trickier the "Copernican" random choice of the place of the observer in infinite…
We present Voevodsky's construction of a model of univalent type theory in the category of simplicial sets. To this end, we first give a general technique for constructing categorical models of dependent type theory, using universes to…
We discover some very general configuration results for constructing area-minimizing cones. In particular, given any closed minimal submanifold in some Euclidean sphere, every cone over the minimal product of sufficiently many copies of the…
Social choice is replete with various settings including single-winner voting, multi-winner voting, probabilistic voting, multiple referenda, and public decision making. We study a general model of social choice called Sub-Committee Voting…
Differentiable structure ensures that many of the basics of classical convex analysis extend naturally from Euclidean space to Riemannian manifolds. Without such structure, however, extensions are more challenging. Nonetheless, in…
For a given measure space $(X,{\mathscr B},\mu)$ we construct all measure spaces $(Y,{\mathscr C},\lambda)$ in which $(X,{\mathscr B},\mu)$ is embeddable. The construction is modeled on the ultrafilter construction of the Stone--\v{C}ech…
As observed recently by various people the topos $\mathbf{sSet}$ of simplicial sets appears as essential subtopos of a topos $\mathbf{cSet}$ of cubical sets, namely presheaves over the category $\mathbf{FL}$ of finite lattices and monotone…
We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural…