Logical quantization of topos theory

DOI10.1007/BF02085763zbMath0872.18002MaRDI QIDQ2365463

Hirokazu Nishimura

Publication date: 4 August 1997

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

zbMATH Keywords

laminationclassifying toposBoolean localic toposes2-category theorymanual of Boolean locales

Mathematics Subject Classification ID

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

Related Items

Theory of microcubes ⋮ Logical quantization of differential geometry ⋮ Empirical quantum mechanics

Cites Work

• Empirical set theory
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• Topoi. The categorial analysis of logic
• La conjecture de Weil. I
• Manuals in orthogonal categories
• Empirical sets
• The logical quantization of algebraic groups
• Logical quantization of differential geometry
• Logical quantizations of first-order structures
• Empirical quantum mechanics
• 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
• Two Applications of Logic to Mathematics
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Modules Over Operator Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item