Every étendue comes from a local equivalence relation

Anders Kock; Ieke Moerdijk

doi:10.1016/0022-4049(92)90118-Y

Every étendue comes from a local equivalence relation

Anders Kock^*, Ieke Moerdijk

^*Corresponding author for this work

Aarhus University

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

We first prove that, under suitable connectedness assumptions, the equivariant sheaves for a local equivalence relation on a space (or a locale) form an étendue topos. Our main result is that conversely, every étendue can be obtained in this way.

Original language	English
Pages (from-to)	155-174
Number of pages	20
Journal	Journal of Pure and Applied Algebra
Volume	82
Issue number	2
DOIs	https://doi.org/10.1016/0022-4049(92)90118-Y
Publication status	Published - 9 Oct 1992

Access to Document

10.1016/0022-4049(92)90118-Y

Cite this

@article{3fad7614bc2b41028d7e7df06a939646,

title = "Every {\'e}tendue comes from a local equivalence relation",

abstract = "We first prove that, under suitable connectedness assumptions, the equivariant sheaves for a local equivalence relation on a space (or a locale) form an {\'e}tendue topos. Our main result is that conversely, every {\'e}tendue can be obtained in this way.",

author = "Anders Kock and Ieke Moerdijk",

year = "1992",

month = oct,

day = "9",

doi = "10.1016/0022-4049(92)90118-Y",

language = "English",

volume = "82",

pages = "155--174",

journal = "Journal of Pure and Applied Algebra",

issn = "0022-4049",

publisher = "Elsevier BV",

number = "2",

}

TY - JOUR

T1 - Every étendue comes from a local equivalence relation

AU - Kock, Anders

AU - Moerdijk, Ieke

PY - 1992/10/9

Y1 - 1992/10/9

N2 - We first prove that, under suitable connectedness assumptions, the equivariant sheaves for a local equivalence relation on a space (or a locale) form an étendue topos. Our main result is that conversely, every étendue can be obtained in this way.

AB - We first prove that, under suitable connectedness assumptions, the equivariant sheaves for a local equivalence relation on a space (or a locale) form an étendue topos. Our main result is that conversely, every étendue can be obtained in this way.

UR - http://www.scopus.com/inward/record.url?scp=38249010710&partnerID=8YFLogxK

U2 - 10.1016/0022-4049(92)90118-Y

DO - 10.1016/0022-4049(92)90118-Y

M3 - Article

AN - SCOPUS:38249010710

SN - 0022-4049

VL - 82

SP - 155

EP - 174

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

IS - 2

ER -

Every étendue comes from a local equivalence relation

Abstract

Access to Document

Other files and links

Fingerprint

Cite this