English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

A locally connected topos is a Galois topos if the Galois objects generate the topos. We show that the full subcategory of Galois objects in any connected locally connected topos is an inversely 2-filtered 2-category, and as an application of the construction of 2-filtered bi- limits of topoi, we show that every Galois topos has a point. introduction. Galois topoi (definition 1.5) arise in Grothendieck's Ga- lois theory of locally connected topoi. They are an special kind of atomic topoi. It is well known that atomic topoi may be pointless (6), however, in this paper we show that any Galois topos has points. We show how the full subcategory of Galois objects (definition 1.2) in any connected locally connected topos E has an structure of 2-filtered 2-category (in the sense of (3)). Then we show that the assignment, to each Galois object A, of the category DA of connected locally constant objects trivialized by A (definition 3.1), determines a 2-functor into the category of categories. Furthermore, this 2-system becomes a pointed 2-system of pointed sites (considering the topology in which each single arrow is a cover). By the results on 2-filtered bi-limits of topoi (4), it follows that, if E is a Galois topos, then it is the bi-limit of this system, and thus, it has a point. context. Throughout this paper S = Sets denotes the topos of sets. All topoi E are assumed to be Grothendieck topoi (over S), the structure map will be denoted by : E → S in all cases.

2-Filteredness and The Point of Every Galois Topos