Related papers: The categories $L$\textbf{-Top_0} and $L$\textbf{S…
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…
Can we do a topological study of various classes of normal subgroups endowed with a hull-kernel-type topology? In this paper, we have provided an answer to this question. We have introduced as well a new class of normal subgroups called…
For any positive integer $n$, let $W_n=\text{Der}(\mathbb{C}[t_1,\dots,t_n])$. The subspaces $\mathfrak{h}_n=\text{Span}\{t_1\frac{\partial}{\partial{t_1}},\dots,t_n\frac{\partial}{\partial{t_n}}\}$ and…
The notion of sobriety is extended to the realm of topological spaces valued in a commutative and unital quantale, via an adjunction between a category of quantale modules and the category of quantale-valued topological spaces. Relations…
The purpose of this note is to present a construction of an infinite family of symplectic tori T_{p} representing an arbitrary multiple of the homology class of the fiber of an elliptic surface E(n), for n > 2, such that, for i \neq j,…
For $\Lambda$ the category of free opetopic algebras, we construct a model structure \emph{\`a la Cisinski} on the category of presheaves over $\Lambda$, and show that is is equivalent to opetopic complete Segal spaces. This generalizes the…
We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…
We classify the epimorphisms of the buildings ${BC}_l(K,K_0,\sigma,L, q_0)$, where l is at least two, of pseudo-quadratic form type. This completes the classification of epimorphisms of irreducible spherical Moufang buildings of rank at…
In this paper we construct a compact quantum semigroup structure on the Toeplitz algebra $\mathcal{T}$. The existence of a subalgebra, isomorphic to the algebra of regular Borel's measures on a circle with convolution product, in the dual…
We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
We give a discrete characterization of the trace of a class of Sobolev spaces on the Sierpinski gasket to the bottom line. This includes the L2 domain of the Laplacian as a special case. In addition, for Sobolev spaces of low orders,…
For $a\in [0,+\infty)$, the function space $E_{\geq a}$ ($E_{>a}$; $E_{\leq a}$; $E_{<a}$) of all continuous maps from $[0,1]$ to itself whose topological entropies are larger than or equal to $a$ (larger than $a$; smaller than or equal to…
We consider locales $B$ as algebras in the tensor category $s\ell$ of sup-lattices. We show the equivalence between the Joyal-Tierney descent theorem for open localic surjections $sh(B) \stackrel{q}{\longrightarrow} \mathcal{E}$ in Galois…
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…
In this article, we introduce an extrinsic approach to the notion of semi-direct product, an intrinsic one (namely inside the category Gp of group itself) having been already done elsewhere. This will led us to focus our attention on two…
We define the notion of a hierarchically cocompact classifying space for a family of subgroups of a group. Our main application is to show that the mapping class group $\mbox{Mod}(S)$ of any connected oriented compact surface $S$, possibly…
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$-spaces instead of restricting to posets. In this paper, we respond to this calling by…
We study topologization of the semigroup $\mathscr{O\!\!I}\!_n(L)$ of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set $(L,\leqslant)$. In particular we show that every $T_1$ left-topological…
We prove that, given any reflective subfibration $L_\bullet$ on an $\infty$-topos $\mathcal{E}$, there exists a reflective subfibration $L'_\bullet$ on $\mathcal{E}$ whose local maps are the $L$-separated maps, that is, the maps whose…