作者: Gilberte van den Bossche , Francis Borceux
DOI: 10.1007/BF00403411
关键词: Topos theory 、 Quantum logic 、 Complete lattice 、 Quantale 、 Mathematics 、 Morphism 、 Lattice (order) 、 Algebra 、 Binary multiplication
摘要: A quantale is a complete lattice provided with binary multiplication which, in particular, distributes over ∨ each variable. First we study the quantales, their morphisms, points and relations theory of locales: case where just meet. We describe presheaves sheaves on exhibit link between corresponding toposes quantum logic.