ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract For a complete Heyting lattice ℒ, we define a category Etale (ℒ). We show that the category Etale (ℒ) is equivalent to the category of the sheaves over ℒ, Sh(ℒ), hence also with ℒ-valued sets, see [2], [1]. The category Etale(ℒ) is a generalization of the category Etale (X), see [1], where X is a topological space.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00394444