Related papers: Decomposition-space slices are toposes

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…

Weighted Triebel-Lizorkin and Besov spaces on the unit ball $B^d$ in $\Rd$ with weights $\W(x)= (1-|x|^2)^{\mu-1/2}$, $\mu \ge 0$, are introduced and explored. A decomposition scheme is developed in terms of almost exponentially localized…

We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…

Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper,…

We show that a topometric space $X$ is topometrically isomorphic to a type space of some continuous first-order theory if and only if $X$ is compact and has an open metric (i.e., satisfies that $\{p : d(p,U) < \varepsilon\}$ is open for…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

One can regard the category of represenations of quivers in Hilbert spaces as a subcategory in the category of all representations, and at that objects, which are indecomposable in the subcategory, become in general decomposable in the…

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is…

We show that if a smooth multiplicative subbundle $S\subseteq TG$ on a groupoid $G\rr P$ is involutive and satisfies completeness conditions, then its leaf space $G/S$ inherits a groupoid structure over the space of leaves of $TP\cap S$ in…

We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association…

There is a well-established homotopy theory of simplicial objects in a Grothendieck topos, and folklore says that the weak equivalences are axiomatisable in the geometric fragment of $L_{\omega_1, \omega}$. We show that it is in fact a…

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

Let G be the group of k-points of a connected reductive k-group and H a symmetric subgroup associated to an involution s of G. We prove a polar decomposition G=KAH for the symmetric space G/H over any local field k of characteristic not 2.…

We record two facts on spaces of derived maps between the operads $E_d$ of little $d$-cubes. Firstly, these mapping spaces are equivalent to the mapping spaces between the non-unitary versions of $E_d$. Secondly, all endomorphisms of $E_d$…

We classify singular foliations admitting a given leaf and a given transverse singular foliation.

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…

We consider a singular holomorphic foliation $\uF$ defined near a compact curve $\uC$ of a complex surface. Under some hypothesis on $(\uF,\uC)$ we prove that there exists a system of tubular neighborhoods $U$ of a curve $\underline{\mc D}$…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

To every regular category $\mathcal{A}$ equipped with a degree function $\delta$ one can attach a pseudo-abelian tensor category $\mathcal{T}(\mathcal{A},\delta)$. We show that the generating objects of $\mathcal{T}$ decompose canonically…