Related papers: Exponentiable Higher Toposes

A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected sequential topological space X is the image of a nonseparably connected complete…

Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This…

The main result given in Theorem~1.1 is a condition for a map $X$, defined on the complement of a disk $D$ in R^2 with values in R^2, to be extended to a topological embedding of R^2, not necessarily surjective. The map $X$ is supposed to…

We study the exponentiation of elements of the gauge Lie algebras ${\rm hs}(\lambda)$ of three-dimensional higher spin theories. Exponentiable elements generate one-parameter groups of finite higher spin symmetries. We show that elements of…

In this paper, we study compactness and finiteness of an $\infty$-category $\mathcal{C}$ equipped with a conservative functor to a finite poset $P$. We provide sufficient conditions for $\mathcal{C}$ to be compact in terms of strata and…

Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that…

In this article, we present a sufficient condition for the exponential $\exp({-f})$ to have a tail decay stronger than any Gaussian, where $f$ is defined on a locally convex space $X$ and grows faster than a squared seminorm on $X$. In…

We explicitly describe the Albanese morphism of a hyperelliptic variety, i.e., the quotient $X$ of an abelian variety $A$ by a finite group $G$ acting freely and not only by translations, by giving a description of the Albanese variety and…

Given a simplicial pair $(X,A)$, a simplicial complex $Y$, and a map $f:A \to Y$, does $f$ have an extension to $X$? We show that for a fixed $Y$, this question is algorithmically decidable for all $X$, $A$, and $f$ if $Y$ has the rational…

We define a class of insulators with gapless surface states protected from localization due to the statistical properties of a disordered ensemble, namely due to the ensemble's invariance under a certain symmetry. We show that these…

A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections.…

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…

The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves…

We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for…

Sabatini (2024) defined a subgroup $H$ of $G$ to be an exponential subgroup if $x^{|G:H|} \in H$ for all $x \in G$. Exponential subgroups are a generalization of normal (and subnormal) subgroups: all subnormal subgroups are exponential, but…

In this work more questions arise than answers given, for which of course we do not apologize. The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves…

The article is devoted to the study of exponential statistical structures of type B, which constitute a subclass of exponential families of probability distributions. This class is characterized by a number of analytical and probabilistic…

Exhausters are families of convex compact sets that allow one to represent directional derivative of the studied function at the considered point in the form of InfMax or SupMin of linear functions. Functions for which such a representation…

In this article, we introduce a notion of an exponential matrix, which is a polynomial matrix with exponential properties, and a notion of an equivalence relation of two exponential matrices, and then we initiate to study classifying…

When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…