Related papers: Decomposition-space slices are toposes

It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic prodiscrete groupoid),…

It is expected that the $D$-topology makes every diffeological vector space into a topological vector space. We show that it is the case for a large class of diffeological vector spaces via $k_\omega$-space theory, but not so in general.…

First we explain the concept of local deformation over a 'parameter' algebra P, in particular the notion of a P-lattice in a Lie group. Purpose of this article is to define the spaces of automorphic resp. cusp forms on the upper half plane…

For every H-space $X$ the set of homotopy classes $[X,X]$ possesses a natural algebraic structure of a loop near-ring. Albeit one cannot say much about general loop near-rings, it turns out that those that arise from H-spaces are…

A topological space $L$ is called a linear ordered topological space (LOTS) whenever there is a linear order $\leq$ on $L$ such that the topology on $L$ is generated by the open sets of the form $(a, b)$ with $a < b$ and $a, b \in L \cup \{…

In this paper we investigate some basic results on the slice regular Besov spaces of hyperholomorphic functions on the unit ball $\mathbb{B}.$ We also characterize the boundedness, compactness and find the essential norm estimates of…

We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.

In this paper, we introduce the concept of $d^{\ast}$-spaces. We find that strong $d$-spaces are $d^{\ast}$-spaces, but the converse does not hold. We give a characterization for a topological space to be a $d^{\ast}$-space. We prove that…

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a…

A topological preordered space admits a Hausdorff closed preorder compactification if and only if it is Tychonoff and the preorder is represented by the family of continuous isotone functions. We construct the largest Hausdorff closed…

Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…

In this thesis, we introduce the subject of D-spaces and some of its most important open problems which are related to well known covering properties. We then introduce a new approach for studying D-spaces and covering properties in…

We investigate the mapping class groups of a class of non-Hausdorff topological spaces which includes finite spaces. We show that the mapping class group of a finite space is isomorphic to the homeomorphism group of its $T_0$ quotient. As a…

We consider two categorifications of the cohomology of a topological space X by taking coefficients in the category of differential graded categories. We consider both derived global sections of a constant presheaf and singular cohomology…

In this paper, a generalized cusp is a properly convex manifold with strictly convex boundary that is diffeomorphic to $M \times [0, \infty)$ where $M$ is a closed Euclidean manifold. These are classified in [2]. The marked moduli space is…

Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…

We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly…

In this paper, we construct new important the subspaces $D_{p}^{q}S$, $D_{p}^{q}W$, $D_{p}^{q}F$ and $D_{p}^{q}B$ for a locally convex FK-space $X$ containing $\phi$, the space of finite sequences. Then we show that there is relation among…

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…