Related papers: Decomposition-space slices are toposes

A topology on a nonempty set $X$ specifies a natural subset of $\mathcal{P}(X)$. By identifying $\mathcal{P}(\mathcal{P}(X))$ with the totally disconnected compact Hausdorff space $2^{\mathcal{P}(X)}$, the lattice $Top(X)$ of all topologies…

In this paper, we provide a uniform approach to $d$-spaces, sober spaces and well-filtered spaces, and develop a general framework for dealing with all these spaces. For a subset system H, the theory of H-sober spaces and super H-sober…

It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps…

We introduce tame sc-Fredholm sections and slices of sc-Fredholm sections. A slice is a notion of subpolyfold that is compatible with the sc-Fredholm section and has finite locally constant codimension. We prove that the subspace of a tame…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

Let $Y$ be a singular algebraic variety and let $\TY$ be a resolution of singularities of $Y$. Assume that the exceptional locus of $\TY$ over $Y$ is an irreducible divisor $\TZ$ in $\TY$. For every Lefschetz decomposition of $\TZ$ we…

We are developing tools for working with arbitrary left-exact localizations of $\infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $\Sigma$ in an $\infty$-topos $\mathscr{E}$. We show that the full…

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

\noindent In \cite{Casas} Casas-Alvero found decompositions of higher order polars of an irreducible plane curve generalizing the results of Merle. We improve his result giving a finer decomposition where we determine the topological type…

We classify proper holomorphic mappings between generalized pseudoellipsoids of different dimensions. Those domains are parametrized by the exponents. The relations among them are also obtained. Main tool is the orthogonal decomposition of…

In many applications it is important to establish if a given topological preordered space has a topology and a preorder which can be recovered from the set of continuous isotone functions. Under antisymmetry this property, also known as…

Linked-twist maps are area-preserving, piece-wise diffeomorphisms, defined on a subset of the torus. They are non-uniformly hyperbolic generalisations of the well-known Arnold Cat Map. We show that a class of canonical examples have…

For any topological bicategory B, the Duskin nerve NB of B is a simplicial space. We introduce the classifying topos BB of B as the Deligne topos of sheaves Sh(NB) on the simplicial space NB. It is shown that the category of geometric…

We compute the classifying space of the surface category $h\mathrm{Bord}_2$ whose objects are closed oriented $1$-manifolds and whose morphisms are diffeomorphism classes of oriented surface bordisms, and show that it is rationally…

A Hopf texture is a vacuum field configuration of isovector fields which is an onto map from the space as a large three sphere to the vacuum manifold $S^2$. We construct a Hopf texture with spherically symmetric energy density and discuss…

We classify all tight holomorphic maps between Hermitian symmetric spaces of non-compact type.

We characterize Hopf spaces with finitely generated cohomology as an algebra over the Steenrod algebra. We "deconstruct" the original space into an H-space Y with finite mod p cohomology and a finite number of p-torsion Eilenberg-Mac Lane…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…

A topological space $G$ is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism $\phi :G\times G\rightarrow G\times G$ and an element $e\in G$ such that $\pi_{1}\circ \phi =\pi_{1}$ and for every $x\in G$…