Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
From MaRDI portal
Publication:6612778
DOI10.1007/978-3-031-24117-8_2MaRDI QIDQ6612778
Publication date: 1 October 2024
category theoryunity of scienceVienna circlescientific pluralismdisunity of scienceStanford schoolunified science
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Natural duality, modality, and coalgebra
- Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism
- Fundamental results for pointfree convex geometry
- Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
- Space of valuations
- Mathematical problems. Lecture delivered before the international congress of mathematicians at Paris in 1900. Translated by \textit{Mary Winston Newson}.
- Relating structure and power: comonadic semantics for computational resources (extended abstract)
- Relational databases and Bell's theorem
- Frege, contextuality and compositionality
- Whither semantics?
- David Hilbert and the axiomatization of physics (1898--1918). From Grundlagen der Geometrie to Grundlagen der Physik.
- From Operational Chu Duality to Coalgebraic Quantum Symmetry
- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
- On contextuality in behavioural data
- Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad
- Games and full completeness for multiplicative linear logic
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
- Topological duality via maximal spectrum functor
- The sheaf-theoretic structure of non-locality and contextuality
- Arrow’s Theorem by Arrow Theory
- Intensionality, Definability and Computation
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- Informational axioms for quantum theory
- Semantic Unification
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics
- John von Neumann on Mathematical and Axiomatic Physics
- The Architecture of Mathematics
- Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
- Substance and function, and Einstein's theory of relativity. Translated by W. C. and M. C. Swabey.
This page was built for publication: Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
