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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.