Algebres de Heyting completes etalees et faisceaux. (English) Zbl 0402.18010
MSC:
18F20 | Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) |
03G30 | Categorical logic, topoi |
06D20 | Heyting algebras (lattice-theoretic aspects) |