Meaning and duality: from categorical logic to quantum physics
<p>Duality abounds in science, both pure and applied: in mathematics there is duality between space and algebra; in physics there is duality between states and observables; in information science there is duality between systems and properties/behaviours; in logic there is duality between mode...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2016
|
| Subjects: |
| _version_ | 1826316488458371072 |
|---|---|
| author | Maruyama, Y |
| author2 | Abramsky, S |
| author_facet | Abramsky, S Maruyama, Y |
| author_sort | Maruyama, Y |
| collection | OXFORD |
| description | <p>Duality abounds in science, both pure and applied: in mathematics there is duality between space and algebra; in physics there is duality between states and observables; in information science there is duality between systems and properties/behaviours; in logic there is duality between models and theories; and even in philosophy there is duality between realism and antirealism (Dummett), or substance metaphysics and process/function metaphysics (Whitehead/Cassirer). They look akin at a level of abstraction, and yet, taking a closer look at subtleties involved, one may find a parting of the ways. The present thesis builds upon category theory and universal algebra to explicate and articulate the dynamics of duality, the mechanism of how duality emerges, changes, and breaks. A generic duality theory is first pursued in the abstract via categorical topology and algebra, and subtler duality theories are then explored to the end of shedding light on more nuanced facets of concrete dualities such as coalgebraic dualities. Each duality theory thus developed is cashed out to uncover formerly unknown dualities; e.g., the first duality theory tells us a dual equivalence between domains and convex structures, which remained an open problem before. Dualities are often induced by Janusian objects, which sometimes form truth value objects as in topos theory. To elucidate this link between duality and categorical logic, categorical universal logic is developed on the basis of Lawvere's hyperdoctrine and Hyland-Johnstone-Pitts' tripos, thereby expanding the realm of (first-order/higher-order) categorical logic so as to encompass, <em>inter alia</em>, classical, intuitionistic, quantum, fuzzy, relevant, and linear logics. Finally, duality meets symmetry in quantum physics, yielding a categorical understanding of the Wigner theorem, i.e., a purely coalgebraic characterisation of the quantum symmetry groupoid. In passing, operational quantum duality is systematised via Chu space theory. In light of these, duality would arguably serve as a unifying principle to overcome the fragmentation of science, and to soothe the dualistic divide of philosophy between realist and antirealist worldviews.</p> |
| first_indexed | 2024-03-07T07:42:15Z |
| format | Thesis |
| id | oxford-uuid:440a291d-7533-493d-b5aa-f6db30ca03cf |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-12-09T03:46:00Z |
| publishDate | 2016 |
| record_format | dspace |
| spelling | oxford-uuid:440a291d-7533-493d-b5aa-f6db30ca03cf2024-12-07T17:56:34ZMeaning and duality: from categorical logic to quantum physicsThesishttp://purl.org/coar/resource_type/c_db06uuid:440a291d-7533-493d-b5aa-f6db30ca03cfPhilosophyMathematicsPhysicsEnglishORA Deposit2016Maruyama, YAbramsky, SCoecke, B<p>Duality abounds in science, both pure and applied: in mathematics there is duality between space and algebra; in physics there is duality between states and observables; in information science there is duality between systems and properties/behaviours; in logic there is duality between models and theories; and even in philosophy there is duality between realism and antirealism (Dummett), or substance metaphysics and process/function metaphysics (Whitehead/Cassirer). They look akin at a level of abstraction, and yet, taking a closer look at subtleties involved, one may find a parting of the ways. The present thesis builds upon category theory and universal algebra to explicate and articulate the dynamics of duality, the mechanism of how duality emerges, changes, and breaks. A generic duality theory is first pursued in the abstract via categorical topology and algebra, and subtler duality theories are then explored to the end of shedding light on more nuanced facets of concrete dualities such as coalgebraic dualities. Each duality theory thus developed is cashed out to uncover formerly unknown dualities; e.g., the first duality theory tells us a dual equivalence between domains and convex structures, which remained an open problem before. Dualities are often induced by Janusian objects, which sometimes form truth value objects as in topos theory. To elucidate this link between duality and categorical logic, categorical universal logic is developed on the basis of Lawvere's hyperdoctrine and Hyland-Johnstone-Pitts' tripos, thereby expanding the realm of (first-order/higher-order) categorical logic so as to encompass, <em>inter alia</em>, classical, intuitionistic, quantum, fuzzy, relevant, and linear logics. Finally, duality meets symmetry in quantum physics, yielding a categorical understanding of the Wigner theorem, i.e., a purely coalgebraic characterisation of the quantum symmetry groupoid. In passing, operational quantum duality is systematised via Chu space theory. In light of these, duality would arguably serve as a unifying principle to overcome the fragmentation of science, and to soothe the dualistic divide of philosophy between realist and antirealist worldviews.</p> |
| spellingShingle | Philosophy Mathematics Physics Maruyama, Y Meaning and duality: from categorical logic to quantum physics |
| title | Meaning and duality: from categorical logic to quantum physics |
| title_full | Meaning and duality: from categorical logic to quantum physics |
| title_fullStr | Meaning and duality: from categorical logic to quantum physics |
| title_full_unstemmed | Meaning and duality: from categorical logic to quantum physics |
| title_short | Meaning and duality: from categorical logic to quantum physics |
| title_sort | meaning and duality from categorical logic to quantum physics |
| topic | Philosophy Mathematics Physics |
| work_keys_str_mv | AT maruyamay meaninganddualityfromcategoricallogictoquantumphysics |