Related papers: Topoi with enough points and topological groupoids
We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…
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…
In this article we survey, and make a few new observations about, the surprising connection between sub-monoids of mapping class groups and interesting geometry and topology in low-dimensions.
We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is idempotent. We relate this adjunction to the Scott adjunction,…
We introduce a notion of distributor of sites, involving suited analogs of flatness and cover-preservation, and show that this notion jointly generalizes those of morphism and comorphism of sites. Given two sites, we exhibit an adjunction…
We show that coherent topoi are right Kan injective with respect to flat embeddings of topoi. We recover the ultrastructure on their category of points as a consequence of this result. We speculate on possible notions of ultracategory in…
It is important to classify covering subgroups of the fundamental group of a topological space using their topological properties in the topologized fundamental group. In this paper, we introduce and study some topologies on the fundamental…
We introduce, comment and develop the Scott adjunction, mostly from the point of view of a category theorist. Besides its technical and conceptual aspects, in a nutshell we provide a categorification of the Scott topology over a posets with…
We introduce bounded cohomology for (pairs of) groupoids and develop homological algebra to deal with it. We generalise results of Ivanov, Frigerio and Pagliantini to this setting and show that (under topological conditions) the bounded…
We introduce and study the Scott adjunction, relating accessible categories with directed colimits to topoi. Our focus is twofold, we study both its applications to formal model theory and its geometric interpretation. From the geometric…
On objects of a triangulated category with a stability condition, we construct a topology.
This article continues the study of diagrams in the bicategory of \'etale groupoid correspondences. We prove that any such diagram has a groupoid model and that the groupoid model is a locally compact \'etale groupoid if the diagram is…
With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…
A typoid is a type equipped with an equivalence relation, such that the terms of equivalence between the terms of the type satisfy certain conditions, with respect to a given equivalence relation between them, that generalise the properties…
In this paper we show that topological subgroupoids of Lie groupoids, under special circumstances are Lie subgroupoids. Giving an example, we indicate that having the same topological dimension is a necessary condition for topological…
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…
A diagram of groupoid correspondences is a homomorphism to the bicategory of \'etale groupoid correspondences. We study examples of such diagrams, including complexes of groups and self-similar higher-rank graphs. We encode the diagram in a…
Working in the soft-element (classical) viewpoint, we introduce \emph{soft bitopological groups}: soft groups endowed with two soft topologies such that the induced topologies on the set of soft elements make the soft-element group into a…
Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid.
In this paper we give sufficient conditions under which a subsemigroup of a topological group is a subgroup, adding to the results given in \cite{Kosh, can, axioms, forum, Hof, cc, locally} where conditions exist (such as locally…