|
Organizers |
Sheaf Locales
by
Wei He
Dep.Mathematics,Nanjing Normal University
Coauthors: Maokang Luo
Let X be a locale. The equivalence of the category Sh(X) of sheaves on X and the slice category LH / X of local homeomorphisms over X has already known, as is implicit in Johnstone [1]. The purpose of this paper is to give an explicit construction of associated sheaf locales, and prove directly the equivalence of the category Sh(X) and LH / X.
Date received: May 26, 2008
Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caxi-14.