Results 11 to 20 of about 687,146 (243)
Topos quantum theory on quantization-induced sheaves [PDF]
Journal of Mathematical Physics, 2014 In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von Neumann algebras of bounded operators on a Hilbert space. Also, it is already known that quantization naturally induces a Lawvere-Tierney topology on the presheaf ...
Kunji Nakayama
openalex +6 more sources
Negations and Meets in Topos Quantum Theory [PDF]
Foundations of Physics, 2021 The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory. While distributivity does not always hold in orthomodular lattices, it does in Heyting algebras. We investigate the conditions under which negations and meets are preserved by daseinisation, and the condition that any ...
Yuichiro Kitajima
openalex +4 more sources
Homotopical algebraic geometry I: topos theory [PDF]
Advances in Mathematics, 2004 71 pages.
Bertrand Toën, Gabriele Vezzosi
openalex +5 more sources
Algebraic set theory and the effective topos [PDF]
Journal of Symbolic Logic, 2005 AbstractFollowing the book Algebraic Set Theory from André Joyal and Ieke Moerdijk [8], we give a characterization of the initial ZF-algebra, for Heyting pretoposes equipped with a class of small maps. Then, an application is considered (the effective topos) to show how to recover an already known model (McCarty [9]).
Claire Kouwenhoven-Gentil +1 more
openalex +6 more sources
, 2015 arXiv admin note: substantial text overlap with arXiv:1507 ...
Eduardo J. Dubuc, M. Szyld
openalex +4 more sources
An informal introduction to topos theory
, 2010 This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.
Tom Leinster
openalex +4 more sources
Topos theory and complex analysis
Journal of Pure and Applied Algebra, 1977 Christiane Rousseau
openalex +3 more sources
Book Review: Topos theory [PDF]
Bulletin of the American Mathematical Society, 1979 Saunders Mac Lan
openalex +5 more sources
Topos theory and quantum logic [PDF]
, 2017 Contains fulltext : 170419.pdf (Publisher’s version ) (Open Access)
Klaas Landsman
openalex +3 more sources
Structural Influence of Lone Pairs in GeP2 N4 , a Germanium(II) Nitridophosphate. [PDF]
Angew Chem Int Ed Engl, 2023 With the discovery of the first germanium(II) nitridophosphate, GeP2N4, we present a way to use the stereochemical influence of lone pairs to modify crystal structures. This approach could be applied to other literature‐known nitridophosphates by cation exchange, altering the crystal structures and thus further increasing their already widespread ...
Ambach SJ +5 more
europepmc +2 more sources