Related papers: Domains and Classifying Topoi
The aim of this paper is to establish a theory of random variables on domains. Domain theory is a fundamental component of theoretical computer science, providing mathematical models of computational processes. Random variables are the…
Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…
We propose a unified mathematical framework for classifying phases of matter. The framework is based on different types of combinatorial structures with a notion of locality called lattices. A tensor lattice is a local prescription that…
Domain theory has a long history of applications in theoretical computer science and mathematics. In this article, we explore the relation of domain theory to probability theory and stochastic processes. The goal is to establish a theory in…
We present a theory of lattice-enriched semirings, called quantic semirings, which generalize both quantales and powersets of hyperrings. Using these structures, we show how to recover the spectrum of a Krasner hyperring (and in particular,…
Topology of the spatial coherence function is considered in details. The phase singularity (coherence vortices) structures of coherence function are classified by Hopf index and Brouwer degree in topology. The coherence flux quantization…
We introduce stratified toposes, which are toposes that are stratified by a suitable hierarchy of universes. The term `stratified topos' recalls the notion of stratified pseudotopos of Moerdijk and Palmgren (2002). However, the details of…
We study the ground-state entanglement of gapped domain walls between topologically ordered systems in two spatial dimensions. We derive a universal correction to the ground-state entanglement entropy, which is equal to the logarithm of the…
Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological…
We suggest an ordering for the predicates in continuous logic so that the semantics of continuous logic can be formulated as a hyperdoctrine. We show that this hyperdoctrine can be embedded into the hyperdoctrine of subobjects of a suitable…
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$…
The notion of topological phases extended to dynamical systems stimulates extensive studies, of which the characterization of non-equilibrium topological invariants is a central issue and usually necessitates the information of quantum…
Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…
Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…
Grain boundaries in extremely confined colloidal smectics possess a topological fine structure with coexisting nematic and tetratic symmetry of the director field. An alternative way to approach the problem of smectic topology is via the…
In this thesis we propose and study a theory of ordered locales, a type of point-free space equipped with a preorder structure on its frame of opens. It is proved that the Stone-type duality between topological spaces and locales lifts to a…
We prove a general theorem showing that iterated skew polynomial extensions of the type which fit the conditions needed by Cauchon's deleting derivations theory and by the Goodearl-Letzter stratification theory are unique factorisation…
We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show…
Two open subsets of $\mathbb{R}^n$ are called Schwartz equivalent if there exists a diffeomorphism between them that induces an isomorphism of Fr\'echet spaces between their spaces of Schwartz functions. In this paper we use tools from…
This text contributes to the foundations of the theory of global Berkovich spaces, that is to say Berkovich spaces over Banach rings with nice properties such as $\mathbf{Z}$, rings of integers of number fields, discrete valuation rings,…