Logical quantization of topos theory

Hirokazu Nishimura

Type: Article

Publication Date: 1996-12-01

Citations: 4

DOI: https://doi.org/10.1007/bf02085763

Similar Works

Action	Title	Year	Authors
+	Algebraic aspects of topos theory	1981	J. Lambek Philip Scott
+ PDF Chat	Negations and Meets in Topos Quantum Theory	2021	Yuichiro Kitajima
+	An introduction to topos theory	2010	Matthew D Zawodniak
+	Foundations of quantum physics in smooth toposes	2003	John David Fearns
+	The logical quantization of algebraic groups	1995	Hirokazu Nishimura
+	Lectures on Topos Quantum Theory	2012	Cecilia Flori
+	Background in topos theory	1995	Izak Moerdijk
+	Logical quantization of differential geometry	1996	Hirokazu Nishimura
+	Homotopical Topos Theory	2012	Garth Warner
+	Semiclassical quantization of Kowalewski top	1987	Igor V. Komarov В. Б. Кузнецов
+ PDF Chat	Topos Quantum Theory with Short Posets	2020	John Harding Chris Heunen
+	Logical Quantum Field Theory.	2019	Christof Schmidhuber
+	A Topos perspective on the Kochen-Specker theorem. 1. Mathematical development	1998	C. J. Isham Jeremy Butterfield
+	Axiomatic Approach to Topological Quantum Field Theory	2006	Christian Blanchet Vladimir Turaev
+	Axiomatic Approach to Topological Quantum Field Theory	2024	Christian Blanchet Vladimir Turaev
+	Quantization and 𝐶*-algebras	1994	Marc A. Rieffel
+ PDF Chat	Morphisms Between Supersymmetric and Toplogical Quantum Field Theories	2018	R. Brooks
+	Topos-Theoretic Approaches to Quantum Theory	2021	Matthijs Vákár
+	Sur les quasi-topos	1977	Jacques Penon
+	Obstructions to Quantization	2000	Mark J. Gotay

Action	Title	Year	Authors
+ PDF Chat	Algebraic Topology Foundations of Supersymmetry and Symmetry Breaking in Quantum Field Theory and Quantum Gravity: A Review	2009	Ion C. Băianu
+	Theory of microcubes	1997	Hirokazu Nishimura

Action	Title	Year	Authors
+ PDF Chat	Théorie des Topos et Cohomologie Etale des Schémas	1972	J. L. Verdier B. Saint-Donat Alexandre Grothendieck J.-L. Verdier
+	Logical quantization of differential geometry	1996	Hirokazu Nishimura
+	Empirical set theory	1993	Hirokazu Nishimura
+	Logical quantizations of first-order structures	1996	Hirokazu Nishimura
+	The logical quantization of algebraic groups	1995	Hirokazu Nishimura
+	Manuals in orthogonal categories	1995	Hirokazu Nishimura
+	La conjecture de Weil. I	1974	Pierre Deligne
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane
+ PDF Chat	A classification of type I AW* algebras and Boolean valued analysis	1984	Masanao Ozawa
+	Sheaves in Geometry and Logic	1994	Saunders Mac Lane Ieke Moerdijk