Sheaves over Heyting lattices |
| |
Authors: | Andrzej W. Jankowski Marek Zawadowski |
| |
Affiliation: | (1) Institute of Mathematics, Warsaw University, Poland |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|