Logical quantization of topos theory

DOI10.1007/BF02085763zbMATH Open0872.18002MaRDI QIDQ2365463FDOQ2365463

Authors: Hirokazu Nishimura 

Publication date: 4 August 1997

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Recommendations

• The logical quantization of algebraic groups
• Manuals in orthogonal categories
• scientific article; zbMATH DE number 4079712

zbMATH Keywords

classifying toposlaminationBoolean localic toposes2-category theorymanual of Boolean locales

Mathematics Subject Classification ID

Quantum logic (03G12) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Fibered categories (18D30)

Cites Work

• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Topoi. The categorial analysis of logic
• La conjecture de Weil. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modules Over Operator Algebras
• Operational Statistics. I. Basic Concepts
• Two Applications of Logic to Mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Operational statistics. II. Manuals of operations and their logics
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• Empirical set theory
• Manuals in orthogonal categories
• Logical quantization of differential geometry
• Empirical sets
• The logical quantization of algebraic groups
• Empirical quantum mechanics
• Logical quantizations of first-order structures

Cited In (9)

• The logical quantization of algebraic groups
• Empirical quantum mechanics
• Title not available (Why is that?)
• Theory of microcubes
• Topos-based logic for quantum systems and bi-Heyting algebras
• Topological representation and quantic separation axioms of semi-quantales
• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Triposes, q-toposes and toposes
• Logical quantization of differential geometry

This page was built for publication: Logical quantization of topos theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365463)