Topoi with enough points and topological groupoids

Joshua Wrigley

2024-08-28

Abstract:We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids

Category Theory,Algebraic Geometry

What problem does this paper attempt to address?

Topoi with enough points

Ivan Di Liberti,Morgan Rogers

2024-07-05

Abstract:We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique can be adapted to recover every existing result of this kind, including the most recent results about $\kappa$-coherent $\kappa$-topoi. Our presentation allows us to relax the cardinality assumptions typically imposed on the sites involved. We show that a larger class of locally finitely presentable toposes have enough points and that a closed subtopos of a topos with enough points has enough points.

Category Theory,Algebraic Geometry,Logic
On topological groupoids that represent theories

Joshua Wrigley

2024-08-27

Abstract:Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid. This paper tackles a follow-up question: we characterise, in model-theoretic terms, which open topological groupoids can represent the classifying topos of a theory. Intuitively, this characterises which groupoids of models contain enough information to reconstruct the theory. Our treatment subsumes many of the previous approaches found in the literature, such as that of Awodey, Forssell, Butz and Moerdijk.

Category Theory,Algebraic Geometry,Logic
Categorically Proper Homomorphisms of Topological Groups.

Wei He,Walter Tholen

DOI: https://doi.org/10.1007/s10485-016-9453-z

2016-01-01

Applied Categorical Structures

Abstract:We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with their counterparts in topology. We assume Hausdorffness only when our proofs require us to do so, which leads to new results and the affirmation of some facts that were known in a Hausdorff context.
Homotopy types of topological stacks of categories

David Michael Roberts

2024-06-11

Abstract: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 induces a homotopy equivalence of classifying spaces. It follows from this that we can associate a 2-functorial homotopy type to a wide class of topological stacks of categories, taking values in the 2-category of spaces, continuous maps and homotopy classes of homotopies of maps. This generalises work of Noohi and Ebert on the homotopy types of topological stacks of groupoids under the restriction to the site with numerable open covers.

Algebraic Topology,Category Theory
On Topological Representation Theory from Quivers

Fang Li,Zhihao Wang,Jie Wu,Bin Yu

DOI: https://doi.org/10.1007/s40306-024-00531-x

2024-01-01

Acta Mathematica Vietnamica

Abstract:In this work, we introduce topological representations of a quiver as a system consisting of topological spaces and its relationships determined by the quiver. Such a setting gives a natural connection between topological representations of a quiver and diagrams of topological spaces. Firstly, we investigate the relation between the category of topological representations and that of linear representations of a quiver via P( ) - 𝒯𝒪𝒫^o and k -Mod, concerning (positively) graded or vertex (positively) graded modules. Secondly, we discuss the homological theory of topological representations of quivers via the -limit functor lim ^ , and use it to define the homology groups of topological representations of quivers via H _n . It is found that some properties of a quiver can be read from homology groups. Thirdly, we investigate the homotopy theory of topological representations of quivers. We define the homotopy equivalence between two morphisms in Top- Rep and show that the parallel Homotopy Axiom also holds for top-representations based on the homotopy equivalence. Last, we obtain the functor At^ from Top- Rep to Top and show that At^ preserves homotopy equivalence between morphisms. The relationship between the homotopy groups of a top-representation (T, f) and the homotopy groups of At^(T,f) is also established.
Topological fundamental groupoid. I

Rohit Dilip Holkar,Md Amir Hossain

2023-07-27

Abstract:We show that the fundamental groupoid~$\Pi_1(X)$ of a locally path connected semilocally simply connected space~$X$ can be equipped with a \emph{natural} topology so that it becomes a topological groupoid; we also justify the necessity and minimality of these two hypotheses on~$X$ in order to topologise the fundamental groupoid. We find that contrary to a belief -- especially among the Operator Algebraists -- the fundamental groupoid is not {\etale}. Further, we prove that the fundamental groupoid of a topological group, in particular a Lie group, is a \emph{transformation groupoid}; again, this result disproves a standard belief that the fundamental groupoids are \emph{far} away from being transformation groupoids. We also discuss the point-set topology on the fundamental groupoid with the intention of making it a locally compact groupoid.

Algebraic Topology
Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Ruiyuan Chen

DOI: https://doi.org/10.1017/fms.2024.25

2024-03-16

Abstract:We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as well as Sami's and Hjorth's sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms; and the equivalence of "potentially open" versus "orbitwise open" Borel sets. We also characterize "potentially open" $n$-ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions, and prove a result subsuming Lupini's Becker--Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures. Our proof method is new even in the classical case of Polish groups, and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids, and more generally in the point-free context, for open localic groupoids.

Logic,Category Theory,Dynamical Systems
From Yoneda to Topoi morphisms

Eduardo J. Dubuc

2023-12-13

Abstract:In this note we show how two fundamental results in Topos theory follow by repeated use of Yoneda's Lemma, the formalism of natural transformations and very basic category theory. In Lemma 9.4, we show the fundamental result SGA4 EXPOSE IV Proposition 4.9.4, which says that for any site $\cc{C}$, the canonical functor $\cc{C} \mr{\varepsilon} Sh(\cc{C})$ into the category of sheaves, classifies sites morphisms $\cc{C} \mr{} \cc{Z}$ into any topos $\cc{Z}$. After the usual Yoneda's Lemma, Lemma 3.1, we show that the Yoneda functor $\cc{C} \mr{h} \Eop{C}$ classifies functors $\cc{C} \mr{} \cc{Z}$ into any cocomplete category $\cc{Z}$, via a cocontinuos extension $\Eop{C} \mr{} \cc{Z}$, Lemma 5.2. Then we reach Lemma 9.4 by an step by step enrichment of 5.2. All we use is Yoneda's Lemma, over and over again, and the Yoga of natural transformations. In Lemma 10.1 we show the equivalence between \emph{flatness} and \emph{left exactness} for functors from finitely complete categories into any topos. Our proof is elementary, we show how basic exactness properties of sets prove the result for set valued functors, then we generalize to functors valued in any topos utilizing results of the previous sections and the Yoga of natural transformations. Besides the thread we follow,nothing here is new, although we haven't seen 10.1 proved this way before.

Category Theory
$(\infty,2)$-Topoi and descent

Fernando Abellán,Louis Martini

2024-10-03

Abstract:We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as the exponentiability of these fibrations. As our main result, we prove a 2-dimensional version of Giraud's theorem which characterizes $(\infty,2)$-topoi as those $(\infty, 2)$-categories that appear as localizations of $\mathfrak{C}\!\operatorname{at}$-valued presheaves in which the localization functor preserves certain partially lax finite limits which we call oriented pullbacks. We develop the basics of a theory of partially lax Kan extensions internal to an $(\infty,2)$-topos, and we show that every $(\infty,2)$-topos admits an internal version of the Yoneda embedding. Our general formalism recovers the theory of categories internal to a $(\infty,1)$-topos (as develop by the second author and Sebastian Wolf) as a full sub-$(\infty,2)$-category of the $(\infty,2)$-category of $(\infty,2)$-topoi. As a technical ingredient, we prove general results on the theory of presentable $(\infty,2)$-categories, including lax cocompletions and 2-dimensional versions of the adjoint functor theorem, which might be of independent interest.

Category Theory,Algebraic Topology
Topologization and Functional Analytification III

Xin Tong

2024-05-23

Abstract:In this paper, we continue our study on the topologization and functional analytification in $\infty$-categorical and homotopical analytic geometry. As in our previous articles on the $\infty$-categorical extensions of certain analytic and topological contexts, we discuss the corresponding prismatic cohomological constructions after Bhatt-Lurie, Bhatt-Scholze and Drinfeld, and the corresponding Robba stacks and sheaves after Kedlaya-Liu.

Algebraic Geometry,Number Theory
Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

Xin Li

2024-11-26

Abstract:Inspired by work of Szymik and Wahl on the homology of Higman-Thompson groups, we establish a general connection between ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, based on the construction of small permutative categories of compact open bisections. This allows us to analyse homological invariants of topological full groups in terms of homology for ample groupoids. Applications include complete rational computations, general vanishing and acyclicity results for group homology of topological full groups as well as a proof of Matui's AH-conjecture for all minimal, ample groupoids with comparison.

Group Theory,Algebraic Topology,Dynamical Systems,K-Theory and Homology,Operator Algebras
On topological motives

Luca Barbieri-Viale

DOI: https://doi.org/10.1016/j.topol.2022.108141

IF: 0.583

2022-06-01

Topology and its Applications

Abstract:Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient category of spaces we then obtain a universal abelian category which can be actually described for CW-complexes as the category of hieratic modules.

mathematics, applied
On Topologized Fundamental Group and covering spaces of topological groups

Hamid Torabi

DOI: https://doi.org/10.48550/arXiv.1803.00741

2018-03-02

Algebraic Topology

Abstract:In this paper, we show that every topological group is a strong small loop transfer space at the identity element. This implies that the quasitopological fundamental group of a connected locally path connected topological group is a topological group. Also, we show that every covering space of a connected locally path connected topological group is a topological group and its covering map is homomorphism.
Relating ample and biample topological categories with Boolean restriction and range semigroups

Ganna Kudryavtseva

2024-10-30

Abstract:We extend the equivalence by Cockett and Garner between restriction monoids and ample categories to the biunary and non-unital setting of Boolean range semigroups which are non-unital one-object versions of range categories. We show that Boolean range semigroups are equivalent to ample topological categories where the range map $r$ is open, and étale Boolean range semigroups are equivalent to biample topological categories. These results yield the equivalence between étale Boolean range semigroups and Boolean birestriction semigroups and a characterization when a Boolean restriction semigroup admits a compatible cosupport operation. We also recover the equivalence between Boolean birestriction semigroups and biample topological categories by Kudryavtseva and Lawson. Our technique builds on the usual constructions relating inverse semigroups with ample topological groupoids via germs and slices.

Rings and Algebras,Category Theory
Proper morphisms of $\infty$-topoi

Louis Martini,Sebastian Wolf

2024-02-13

Abstract:We characterise proper morphisms of $\infty$-topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$-topoi is proper if and only if it commutes with colimits indexed by filtered internal $\infty$-categories in the target. In particular, our result implies that for any $\infty$-topos, the global sections functor is proper if and only if it preserves filtered colimits. As an application, we show that every proper and separated map of topological spaces gives rise to a proper morphism between the associated sheaf $\infty$-topoi, generalising a result of Lurie. Along the way, we develop some aspects of the theory of localic higher topoi internal to an $\infty$-topos, which might be of independent interest.

Category Theory,Algebraic Topology
Homotopical recognition of diagram categories

Boris Chorny,David White

2024-11-15

Abstract:Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms, generalizing the orbits of Dwyer and Kan. Apart from the orbit model structures of Dwyer and Kan, our examples include the classification of stable model categories after Schwede and Shipley, isovariant homotopy theory after Yeakel, and Cat-enriched homotopy theory after Gu. The most surprising example is the classical category of spectra, which turns out to be equivalent to the presheaf category of pointed simplicial sets indexed by the desuspensions of the sphere spectrum. No Bousfield localization is needed. As an application, we give a classification of polynomial functors (the sense of Goodwillie calculus) from finite pointed simplicial sets to spectra, and compare it to the previous work by Arone and Ching.

Algebraic Topology,Category Theory
A Topology on Points on Stacks

Atticus Christensen

DOI: https://doi.org/10.48550/arXiv.2005.10231

2020-05-21

Abstract:For a variety over certain topological rings $R$, like $\mathbb{Z}_p$ or $\mathbb{C}$, there is a well-studied way to topologize the $R$-points on the variety. In this paper, we generalize this definition to algebraic stacks. For an algebraic stack $\mathfrak{X}$ over many topological rings $R$, we define a topology on the isomorphism classes of $R$-points of $\mathfrak{X}$. We prove expected properties of the resulting topological spaces including functoriality. Then, we extend the definition to the case when $R$ is the ring of adeles of some global field. Finally, we use this last definition to strengthen the local-global compatibility for stacky curves of Bhargava--Poonen to a strong approximation result.

Algebraic Geometry,Number Theory
Bicategories of Action Groupoids

Carla Farsi,Laura Scull,Jordan Watts

DOI: https://doi.org/10.1007/s10485-024-09770-3

2024-05-26

Applied Categorical Structures

Abstract:We prove that the 2-category of action Lie groupoids localised in the following three different ways yield equivalent bicategories: localising at equivariant weak equivalences à la Pronk, localising using surjective submersive equivariant weak equivalences and anafunctors à la Roberts, and localising at all weak equivalences. These constructions generalise the known case of representable orbifold groupoids. We also show that any weak equivalence between action Lie groupoids is isomorphic to the composition of two particularly nice forms of equivariant weak equivalences.

mathematics

Topoi with enough points and topological groupoids

Topoi with enough points

On topological groupoids that represent theories

Categorically Proper Homomorphisms of Topological Groups.

Homotopy types of topological stacks of categories

On Topological Representation Theory from Quivers

Topological fundamental groupoid. I

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

From Yoneda to Topoi morphisms

$(\infty,2)$-Topoi and descent

Topologization and Functional Analytification III

Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

On topological motives

On Topologized Fundamental Group and covering spaces of topological groups

Relating ample and biample topological categories with Boolean restriction and range semigroups

Proper morphisms of $\infty$-topoi

Homotopical recognition of diagram categories

A Topology on Points on Stacks

Bicategories of Action Groupoids