Related papers: Various topos of types constructions

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…

We study some topological properties of attractors.

We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependent type theory and natural deduction as special kinds of…

This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…

We survey some results on toric topology.

Topological characterization of torus groups is given.

This article discuss a class of tractable model in the form of polynomial type.

We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.

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 give a description of the Tripos To Topos construction in terms of four free constructions. We prove that these compose up to give a free construction from the category of triposes and logical morphisms to the category of toposes and…

On objects of a triangulated category with a stability condition, we construct a topology.

By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…

This review paper surveys work by Isham, Butterfield, D\"oring, Landsman, Spitters, Heunen, and others on topos-theoretic analyses of quantum theory. It aims to provide a synthesized account of their various approaches.

A class of Cantor-type spaces and related geometric structures are discussed.

We introduce a notion of equivalence on tilings which is formulated in terms of their local structure. We compare it with the known concept of locally deriving one tiling from another and show that two tilings of finite type are…

A class of solenoids is considered, including some aspects in n (topological) dimensions, where one basically gets some fractal versions of tori.

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…

We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometric theory classified by an atomic topos is countably…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

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…