Related papers: Internal Parameterization of Hyperconnected Quotie…
Recent progress on the question of the size of the class of connected and hyperconnected geometric morphisms from a given topos has led to the definition of {\em local state classifier}. We discuss a historical precedent which leads to the…
This paper shows that quantization induces a Lawvere-Tierney topology on (hence, a sheaf topos in) the quantum topos. We show that a quantization map from classical observables to self-adjoint operators on a Hilbert space naturally induces…
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$…
Entanglement is a special feature of the quantum world that reflects the existence of subtle, often non-local, correlations between local degrees of freedom. In topological theories such non-local correlations can be given a very intuitive…
We discuss the problem of characterizing the property of a Grothendieck topos to satisfy a given 'geometric' invariant as a property of its sites of definition, and indicate a set of general techniques for establishing such criteria. We…
We study morphisms of internal locales of Grothendieck toposes externally: treating internal locales and their morphisms as sheaves and natural transformations. We characterise those morphisms of internal locales that induce surjective…
We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal B$. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of $\infty$-topoi, but also a description in…
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…
The local Hamiltonian problem plays the equivalent role of SAT in quantum complexity theory. Understanding the complexity of the intermediate case in which the constraints are quantum but all local terms in the Hamiltonian commute, is of…
We study several sufficient conditions for the molecularity/local-connectedness of geometric morphisms. In particuar, we show that if $\mathcal{S}$ is a Boolean topos then, for every hyperconnected essential geometric morphism ${p :…
This paper solves the first of the open problems in topos theory posted by William Lawvere, concerning the existence of a Grothendieck topos that has proper class many quotient topoi. This paper concretely constructs such Grothendieck…
Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…
Characterizing the entanglement structure of ground states of local Hamiltonians is a fundamental problem in quantum information. In this work we study the computational complexity of this problem, given the Hamiltonian as input. Our main…
Quantum correlations in a physical system are usually studied with respect to a unique (fixed) decomposition of the system into subsystems, without fully exploiting the rich structure of the state-space. Here, we show several examples in…
Strongly interacting systems are characterized by heavily dressed entities with internal degrees of freedom, which, on a local level, can be described in terms of coherent quantum states. We examine the modification of these local coherent…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…
We use the topological quantum field theory description of states in Chern-Simons theory to discuss the relation between spacetime connectivity and entanglement, exploring the paradigm entanglement=topology. We define a special class of…
In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the…
Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal…
We derive a simple sufficient criterion for the locality of correlations obtained from given measurements on a Gaussian quantum state. The criterion is based on the construction of a local-hidden-variable model which works by passing part…