Related papers: One topos, many sites
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
A brief synopsis of recent conceptions and results, the current status and future outlook of our research program of applying sheaf and topos-theoretic ideas to quantum gravity and quantum logic is presented.
We systematically study some basic properties of the theory of pre-topological spaces, such as, pre-base, subspace, axioms of separation, connectedness, etc. Pre-topology is also known as knowledge space in the theory of knowledge…
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 propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of conditional independence between variables. We show that…
In this paper we show that states, transitions and behavior of concurrent systems can often be modeled as sheaves over a suitable topological space. In this context, geometric logic can be used to describe which local properties (i.e.…
Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a strictly full subgroupoid of an open topological groupoid…
The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual…
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 study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…
We give the site-theoretic account of the spectral construction as first introduced by Coste. We provide a detailed examination of the geometric properties of the spectrum, in particular what classes of topoi it produces when applied to the…
Leveraging topos theory a semantics can be given to sequential circuits where time-sensitive gates, such as unit delay, are treated uniformly with combinational gates. Both kinds of gates are functions in a particular topos: the topos of…
We construct, for each convex polytope, possibly nonrational and nonsimple, a family of compact spaces that are stratified by quasifolds, i.e. each of these spaces is a collection of quasifolds glued together in an suitable way. A quasifold…
Using methods from commutative algebra and topos-theory, we construct topos-theoretical points for the fppf topology of a scheme. These points are indexed by both a geometric point and a limit ordinal. The resulting stalks of the structure…
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$…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched…
We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside…