Related papers: Topoi of parametrized objects

We investigate the problem of safety verification of infinite-state parameterized programs that are formed based on a rich class of topologies. We introduce a new proof system, called parametric proof spaces, which exploits the underlying…

In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…

We give a detailed and self-contained introduction to the theory of $\lambda $-toposes and prove the following: 1) A $\lambda $-separable $\lambda $-topos has enough $\lambda $-points. 2) The classifying $\lambda $-topos of a $\kappa $-site…

In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…

We define a hierarchy of systems with topological completely positive entropy in the context of continuous countable amenable group actions on compact metric spaces. For each countable ordinal we construct a dynamical system on the…

In a recent article Facchini and Finocchiaro considered a natural pretorsion theory in the category of preordered sets inducing a corresponding stable category. In the present work we propose an alternative construction of the stable…

A necessary and sufficient condition for the convergence of an infinite right product of matrices of the form | I B | A = | 0 C |, with (uniformly) contracting submatrices $C$, is proven.

We prove special cases of a general conjecture: If an invertible field theory admits a projectively topological boundary theory, then it has finite order in the abelian group of invertible field theories. One can substitute `gapped' for…

We give conditions under which a product of topological spaces satisfies some local property. The conditions are necessary and sufficient when the corresponding global property is preserved under finite products. Further examples include…

We prove that the stable category associated with the category $\mathsf{PreOrd}(\mathbb C)$ of internal preorders in a pretopos $\mathbb C$ satisfies a universal property. The canonical functor from $\mathsf{PreOrd}(\mathbb C)$ to the…

Given a category $\mathcal C$ and a directed partially ordered set $J$, a certain category $pro^J -\mathcal C$ on inverse systems in $\mathcal C$ is constructed such that the ordinary pro-category $pro-\mathcal C$ is the most special case…

F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…

We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from…

Let $\mathcal C$ be a subcategory of the category of topologized semigroups and their partial continuous homomorphisms. An object $X$ of the category ${\mathcal C}$ is called ${\mathcal C}$-closed if for each morphism $f:X\to Y$ of the…

We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological…

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

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

We show that a topometric space $X$ is topometrically isomorphic to a type space of some continuous first-order theory if and only if $X$ is compact and has an open metric (i.e., satisfies that $\{p : d(p,U) < \varepsilon\}$ is open for…

Let $\mathbf{C}$ be a Cauchy-complete category. The subtoposes of $[\mathbf{C}^{\mathrm{op}},\mathbf{Set}]$ are sometimes all of the form $[\mathbf{D}^{\mathrm{op}},\mathbf{Set}]$ where $\mathbf{D}$ is a full subcategory of $\mathbf{C}$.…

The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.…