2013

An alternative Gospel of structure: order, composition, processes

Coecke, Bob

Understand

We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school.

These structures are orders, with or without composition, and (symmetric) monoidal categories.
We list several `real life' incarnations of each of these.
This paper also serves as an introduction to these structures and their current and potentially future uses in linguistics, physics and knowledge representation.

Built on

Some methods applicable to identities and inequalities of symmetric algebraic functions of
R.F. Muirhead · 1903
Earlier work this paper cites.
The logic of quantum mechanics
G. Birkhoff and J. von Neumann · 1936
Earlier work this paper cites.
Die syntaktische konnexität
K. Ajdukiewicz · 1937
Earlier work this paper cites.
General theory of natural equivalences
S. Eilenberg and S. Mac Lane · 1945
Earlier work this paper cites.
A quasiarithmetical notation for syntactic description
Y. Bar-Hillel · 1953
Earlier work this paper cites.
Orthocomplemented lattices satisfying the exchange axiom
U. Sasaki · 1954
Earlier work this paper cites.
Tree models for the description of language
N. Chomsky · 1956
Earlier work this paper cites.
The mathematics of sentence structure
J. Lambek · 1958
Earlier work this paper cites.
Categories avec multiplication
J. Benabou · 1963
Earlier work this paper cites.
Semantical considerations on modal logic
S. Kripke · 1963
Earlier work this paper cites.
Natural associativity and commutativity
S. Mac Lane · 1963
Earlier work this paper cites.
Mathematical logic
S.C. Kleene · 1967
Earlier work this paper cites.
Adjointness in foundations
F.W. Lawvere · 1969
Earlier work this paper cites.
Outline of a mathematical theory of computation
D.S. Scott · 1970
Earlier work this paper cites.
Many-variable functorial calculus I
G. M. Kelly · 1972
Earlier work this paper cites.
Guarded commands, nondeterminacy and formal derivation of programs
E.W. Dijkstra · 1975
Earlier work this paper cites.
Foundations of quantum physics
C. Piron · 1976
Earlier work this paper cites.
Time, clocks, and the ordering of events in a distributed system
L. Lamport · 1978
Earlier work this paper cites.
*-Autonomous categories
M. Barr · 1979
Earlier work this paper cites.
Coherence for compact closed categories
G. M. Kelly and M. L. Laplaza · 1980
Earlier work this paper cites.
Basic concepts of enriched category theory
G.M. Kelly · 1982
Earlier work this paper cites.
On a generalization of the Ajdukiewicz-Lambek system
V.N. Grishin · 1983
Earlier work this paper cites.
Braided monoidal categories
A. Joyal and R. Street · 1986
Earlier work this paper cites.

Similar

Space-time as a causal set
L. Bombelli, J. Lee, D. Meyer, and R.D. Sorkin · 1987
Cited alongside, same era.
Linear logic
J.Y. Girard · 1987
Cited alongside, same era.
Laws of programming
C.A.R. Hoare, I.J. Hayes, H. Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin · 1987
Cited alongside, same era.
Meaning and necessity: a study in semantics and modal logic
R. Carnap · 1988
Cited alongside, same era.
Introduction to higher order categorical logic
J. Lambek and P.J. Scott · 1988
Cited alongside, same era.
Categorial investigations: Logical and Linguistic Aspects of the Lambek Calculus
M. Moortgat · 1988
Cited alongside, same era.
Linear logic,
R. A. G. Seely · 1989
Cited alongside, same era.
Introduction to Lattices and Order
B.A. Davey and H. Priestley · 1990
Cited alongside, same era.
Modal and temporal logics
C. Stirling · 1991
Cited alongside, same era.
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
C.H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres, and W.K. Wootters · 1993
Cited alongside, same era.
A primer on Galois connections
M. Erné, J. Koslowski, A. Melton, and G.E. Strecker · 1993
Cited alongside, same era.
Domain theory
S. Abramsky and A. Jung · 1994
Cited alongside, same era.

Then

A quantum groups primer, volume 292
S. Majid · 2002
Later among the works it cites.
Causal sets: Discrete gravity (notes for the Valdivia Summer School)
R. D. Sorkin · 2003
Later among the works it cites.
A categorical semantics of quantum protocols
S. Abramsky and B. Coecke · 2004
Later among the works it cites.
Frobenius algebras and 2D topological quantum field theories, volume 59
J. Kock · 2004
Later among the works it cites.
Epistemic logic for AI and computer science, volume 41
J.J.C. Meyer and W. Van Der Hoek · 2004
Later among the works it cites.
Epistemic actions as resources
A. Baltag, B. Coecke, and M. Sadrzadeh · 2006
Later among the works it cites.
Types for quantum computation, 2006
R. Duncan · 2006
Later among the works it cites.
A domain of spacetime intervals in general relativity
K. Martin and P. Panangaden · 2006
Later among the works it cites.
Quantum Groups: A Path to Current Algebra
R. Street · 2007
Later among the works it cites.
From word to sentence
J. Lambek · 2008
Later among the works it cites.
Quantum picturalism
Original
B. Coecke · 2009
Later among the works it cites.
Mathematical foundations for a compositional distributional model of meaning
B. Coecke, M. Sadrzadeh, and S. Clark · 2010
Later among the works it cites.
Inequalities: theory of majorization and its applications
A.W. Marshall, I. Olkin, and B. Arnold · 2010
Later among the works it cites.
Physics, topology, logic and computation: a Rosetta stone
J.C. Baez and M. Stay · 2011
Later among the works it cites.
Interacting quantum observables: categorical algebra and diagrammatics
B. Coecke and R. Duncan · 2011
Later among the works it cites.
A partial order on classical and quantum states
B. Coecke and K. Martin · 2011
Later among the works it cites.
Categories for the practicing physicist
Original
B. Coecke and E. O. Paquette · 2011
Later among the works it cites.
Picturing classical and quantum Bayesian inference
Original
B. Coecke and R.W. Spekkens · 2011
Later among the works it cites.
Experimental support for a categorical compositional distributional model of meaning
E. Grefenstette and M. Sadrzadeh · 2011
Later among the works it cites.
Domain theory and measurement
K. Martin · 2011
Later among the works it cites.
A survey of graphical languages for monoidal categories
Original
P. Selinger · 2011
Later among the works it cites.
The logic of quantum mechanics – take II
Original
B. Coecke · 2012
Later among the works it cites.
Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse
C. Heunen, M. Sadrzadeh, and E. Grefenstette · 2013
Closest in time.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…

Reading the bibliography…