Related papers: Condensed Sets and the Solovay Model

We provide an intrinsic notion of curved cosets for arbitrary Cartan geometries, simplifying the existing construction of curved orbits for a given holonomy reduction. To do this, we define an intrinsic holonomy group, which is shown to…

We establish sharp Sobolev embedding properties within a broad class of compact matrix quantum groups of Kac type under the polynomial growth or the rapid decay property of their duals. Main examples are duals of polynomially growing…

The Pl\"unnecke-Ruzsa inequality is a fundamental tool to control the growth of finite subsets of abelian groups under repeated addition and subtraction. Other tools to handle sumsets have gained applicability by being extended to more…

We present a general result about generating group topologies by pseudo-norms. Namely, we show that if a topology has a base of sets which are closed in a certain sense, then it can be generated by a collection of pseudo-norms such that the…

In this paper, we interest on some class of Stefan type problems. We prove the existence and uniqueness of renormalized solution in anisotropic Sobolev spaces with data belongs to $L^1- data,$ based on the properties of the renormalized…

Coquand's cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. This paper contributes to the…

We study a number of local and global classification problems in generalized complex geometry. In the first topic, we characterize the local structure of generalized complex manifolds by proving that a generalized complex structure near a…

Let X be a non-compact Calabi-Yau manifold and f be a holomorphic function on X with compact critical locus. We introduce the notion of f-twisted Sobolev spaces for the pair (X,f) and prove the corresponding Hodge-to-de Rham degeneration…

This paper solves the first of the open problems in topos theory posted by William Lawvere, concerning the existence of a Grothendieck topos that has proper class many quotient topoi. This paper concretely constructs such Grothendieck…

We generalize some of the fundamental results of algebraic topology from topological spaces to \v{C}ech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos…

We study the structure of invariant measures for continuous automorphisms of compact metrizable abelian groups satisfying the descending chain condition. We show that the finitely supported invariant measures are weak-* dense in the space…

A classical result of topos theory holds that the category of coalgebras for a Cartesian comonad on a topos is again a topos (Kock and Wraith, 1971). It is natural to refine this result to a topos-theoretic setting that includes universes.…

We establish compact presentability, i.e. the locally compact version of finite presentability, for an infinite family of tree almost automorphism groups. Examples covered by our results include Neretin's group of spheromorphisms, as well…

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…

The purpose of this work is to develop a version of Forman's discrete Morse theory for simplicial complexes, based on internal strong collapses. Classical discrete Morse theory can be viewed as a generalization of Whitehead's collapses,…

We generalize the definition of topological entropy given by Adler, Konheim, and McAndrew (AKM) for piecewise continuous self-maps defined on a compact interval (pc-maps). For this notion of entropy, we prove that the properties of the…

Let $\Gamma$ be a finite group acting linearly on $\C^n$, freely outside the origin. In previous work a generalisation of Kronheimer's construction of moduli of Hermitian-Yang-Mills bundles with certain invariance properties was given. This…

We establish the unique ergodicity of a fully discrete scheme for monotone SPDEs with polynomial growth drift and bounded diffusion coefficients driven by multiplicative white noise. The main ingredient of our method depends on the…