Pages that link to "Item:Q5504926"
From MaRDI portal
The following pages link to A topos foundation for theories of physics: I. Formal languages for physics (Q5504926):
Displayed 18 items.
- Functorial data migration (Q714735) (← links)
- Intuitionistic quantum logic of an \(n\)-level system (Q735205) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
- Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order (Q2016040) (← links)
- Abduction: a categorical characterization (Q2018608) (← links)
- Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics (Q2437508) (← links)
- Classical and quantum probabilities as truth values (Q2861735) (← links)
- Topos quantum theory on quantization-induced sheaves (Q2928096) (← links)
- Topos models for physics and topos theory (Q3189927) (← links)
- Problem of time in quantum gravity (Q4908142) (← links)
- SPINOR GEOMETRY (Q4908937) (← links)
- A topos formulation of history quantum theory (Q5249565) (← links)
- Group action in topos quantum physics (Q5397779) (← links)
- Topologies on quantum topoi induced by quantization (Q5407574) (← links)
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory (Q5504927) (← links)
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱ (Q5504928) (← links)
- A topos foundation for theories of physics: IV. Categories of systems (Q5504929) (← links)