Finite preorders and topological descent. II: étale descent (Q1855454): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Facets of descent. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Facets of descent. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective descent maps of topological spaces / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0022-4049(02)00046-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1995014195 / rank | |||
Normal rank |
Latest revision as of 12:03, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite preorders and topological descent. II: étale descent |
scientific article |
Statements
Finite preorders and topological descent. II: étale descent (English)
0 references
5 February 2003
0 references
[For part I, see ibid. 175, 187-205 (2002; Zbl 1018.18004).] This paper provides a characterization of effective étale-descent morphisms of finite topological spaces, equivalently of finite preordered sets. More precisely, let \(p:E\to B\) be a continuous map of finite topological spaces, \({\mathcal E}(E)\) and \({\mathcal E}(B)\) the categories of finite étale bundles over \(E\) and \(B\) respectively, and \(p^*\): \({\mathcal E}(B)\to{\mathcal E} (E)\) the pullback functor along \(p\). It is proved that \(p\) is an effective étale-descent morphism, that is \(p\) is a monadic functor, if and only if the three following properties are fullfilled: (1) The map \(p:E\to p(E)\) is a regular quotient of topological spaces. (2) The universal category \({\mathcal Z} (Eq(p))\) associated to the double category associated to the equivalent relation \(Eq(p)\) on \(E\) determined by \(p\), is a preorder. (3) The map \(p\) is essentially surjective, i.e., up to specialization and generization.
0 references
finite topological descent
0 references
effective étale-descent
0 references