相关论文: The DeMorganization of a locale

The aim of this paper is to study some variants of nowhere dense sublocales called maximal nowhere dense and homogeneous maximal nowhere dense sublocales. These concepts were initially introduced by Veksler in classical topology. We give…

Quantum particles in a disordered potential, photons or classical waves in a random medium, or the universe expansion in a fluctuating cosmic field, all share Anderson localization as a communality. In general, localization is enhanced for…

We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (resp. the law of excluded middle) or not; applications to the theory of classifying toposes follow. Specifically, we obtain a syntactic…

A locale, being a complete Heyting algebra, satisfies De Morgan law $(a\vee b)^*=a^*\wedge b^*$ for pseudocomplements. The dual De Morgan law $(a\wedge b)^*={a^* \vee b^*}$ (here referred to as the second De Morgan law) is equivalent to,…

We study toposes satisfying De Morgan's law, in particular we give characterizations of geometric theories whose classifying topos is De Morgan, clarifying the link with the amalgamation property of the category of models of such theory. We…

Boolean locales are "almost discrete", in the sense that a spatial Boolean locale is just a discrete locale (that is, it corresponds to the frame of open subsets of a discrete space, namely the powerset of a set). This basic fact, however,…

We use the method of bulk-boundary correspondence of topological invariants to show that disordered topological insulators have at least one delocalized state at their boundary at zero energy. Those insulators which do not have chiral…

The deautonomisation of birational maps that have the singularity confinement property, i.e. the construction of nonautonomous versions of such maps that preserve the singularity properties of the original, has proven crucial in our…

We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are…

We proof here the existence of a topological thick and thin decomposition of any closed definable thick isolated singularity germ in the spirit of the recently discovered metric thick and thin decomposition of complex normal surface…

We determine the complete structure of the symmetry algebras associated with the N-body Calogero-Moser system and its maximally superintegrable discretization. We prove that the discretization naturally leads to a nontrivial deformation of…

In this article we investigate the restrictions imposed by the dominant energy condition (DEC) on the topology and conformal type of \textsl{possibly non-compact} marginally outer-trapped surfaces (thus extending Hawking's classical theorem…

We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian…

We observe that the notions of a topological space being extremally disconnected, and of a continuous map of compact Hausdorff spaces being proper, and being surjective proper, can each be defined in terms of the Quillen lifting property…

A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…

(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…

While topology given by a linear order has been extensively studied, this cannot be said about the case when the order is given only locally. The aim of this paper is to fill this gap. We consider relation between local orderability and…

We study locally compact groups having all dense subgroups (locally) minimal. We call such groups densely (locally) minimal. In 1972 Prodanov proved that the infinite compact abelian groups having all subgroups minimal are precisely the…

Without assuming the field structure on the additive group of real numbers $\mathbb{R}$ with the usual order $<,$ we explore the fact that every proper subgroup of $\mathbb{R}$ is either closed or dense. This property of subgroups of the…

We introduce the notion of an EILC topos: a topos $\mathcal{E}$ such that every essential geometric morphism with codomain $\mathcal{E}$ is locally connected. We then show that the topos of sheaves on a topological space $X$ is EILC if $X$…