Related papers: Exponentiable locales, revisited
In this paper we present a systematic study of continuous local iterated function systems. We prove local iterated function systems admit compact attractors and, under a contractivity assumption, construct their code space and present an…
We prove large (and moderate) deviations for a class of linear combinations of spacings generated by i.i.d. exponentially distributed random variables. We allow a wide class of coefficients which can be expressed in terms of continuous…
We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is compatible with integration in a way the models that have…
It is often useful to be able to deal with locales in terms of presentations of their underlying frames, or equivalently, the geometric theories which they classify. Given a presentation for a locale, presentations for its sublocales can be…
We extend to Gaussian distributions a result providing smoothed analysis estimates for condition numbers given as relativized distances to illposedness. We also introduce a notion of local analysis meant to capture the behavior of these…
We explain the motivation for looking for a predicative analogue of the notion of a topos and propose two definitions. For both notions of a predicative topos we will present the basic results, providing the groundwork for future work in…
The first examples of formations which are arboreous (and therefore Hall) but not freely indexed (and therefore not locally extensible) are found. Likewise, the first examples of solvable formations which are freely indexed and arboreous…
Much work has been done on generalising results about uniform spaces to the pointfree context. However, this has almost exclusively been done using classical logic, whereas much of the utility of the pointfree approach lies in its…
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…
For a subexponential density, so far, there has been no positive conclusion or counter example to show whether it is almost decreasing. In this paper, a subexponential density supported on $\mathbb{R}^+\cup\{0\}$ without the almost decrease…
(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with…
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…
Generalizing de Vries Compactification Theorem and strengthening Leader Local Compactification Theorem, we describe the partially ordered set $(\LL(X),\le)$ of all (up to equivalence) locally compact Hausdorff extensions of a Tychonoff…
In this paper, we have studied 'absorbing' and 'balanced' sets in an Exponential Vector Space (\emph{evs} in short) over the field $\mathbb K$ of real or complex. These sets play pivotal role to describe several aspects of a topological…
Factorization algebras have been defined using three different topologies on the Ran space. We study these three different topologies on the exponential, which is the union of the Ran space and the empty configuration, and show that an…
We characterise the class of exponentiable $\infty$-toposes: $\mathcal X$ is exponentiable if and only if $\mathcal S\mathrm{h}(\mathcal X)$ is a continuous $\infty$-category. The heart of the proof is the description of the…
We study invariant local expansion operators for conflict-free and admissible sets in Abstract Argumentation Frameworks (AFs). Such operators are directly applied on AFs, and are invariant with respect to a chosen "semantics" (that is…
It is derived the explicit asymptotic expression in $n$ for the coefficient $c_n$ of the generating function for multiplicative structures with sub exponential rate of growth of $c_n,$ as $n\to\infty$.
The present paper is mainly concerned with equations involving exponentials of bounded normal operators. Conditions implying commutativity of those normal operators are given. This is carried out without the known $2\pi i$-congruence-free…
In group representations several inductions given by tensoring with appropriate bimodules may be reconstructed via homology of $G$-posets with $G$-equivariant coefficients. For this purpose, we need various local categories of a finite…