An alternative Gospel of structure: order, composition, processes

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.

[1]  Mehrnoosh Sadrzadeh,et al.  Quantum Physics and Linguistics - A Compositional, Diagrammatic Discourse , 2013, Quantum Physics and Linguistics.

[2]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[3]  J. Neumann,et al.  The Logic of Quantum Mechanics , 1936 .

[4]  Colin Stirling,et al.  Modal and temporal logics , 1993, LICS 1993.

[5]  B. Coecke,et al.  Categories for the practising physicist , 2009, 0905.3010.

[6]  G. M. Kelly.  Many-variable functorial calculus. I. , 1972 .

[7]  Isar Stubbe,et al.  Short Introduction to Enriched Categories , 2000 .

[8]  Shahn Majid,et al.  A Quantum Groups Primer , 2002 .

[9]  M. Nielsen.  Conditions for a Class of Entanglement Transformations , 1998, quant-ph/9811053.

[10]  F. William Lawvere,et al.  Adjointness in Foundations , 1969 .

[11]  B. Coecke.  Quantum picturalism , 2009, 0908.1787.

[12]  Arka Bandyopadhyay.  A partial order on classical and quantum states , 2011 .

[13]  Bob Coecke,et al.  The logic of quantum mechanics - Take II , 2012, ArXiv.

[14]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[15]  Stephen Clark,et al.  Mathematical Foundations for a Compositional Distributional Model of Meaning , 2010, ArXiv.

[16]  Marcel Erné,et al.  A Primer on Galois Connections , 1993 .

[17]  C. Piron,et al.  On the Foundations of Quantum Physics , 1976 .

[18]  R. Carnap.  Meaning and necessity : a study in semantics and modal logic , 1948 .

[19]  Keye Martin,et al.  Domain Theory and Measurement , 2010 .

[20]  D. Moore,et al.  On State Spaces and Property Lattices , 1999 .

[21]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

[22]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[23]  MICHAEL BARR.  NON-SYMMETRIC ∗-AUTONOMOUS CATEGORIES , 2004 .

[24]  M. Moortgat.  Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus , 1988 .

[25]  Y. Bar-Hillel.  A Quasi-Arithmetical Notation for Syntactic Description , 1953 .

[26]  P. Selinger.  A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.

[27]  Robert W. Spekkens,et al.  Picturing classical and quantum Bayesian inference , 2011, Synthese.

[28]  Bombelli,et al.  Space-time as a causal set. , 1987, Physical review letters.

[29]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[30]  V. Turaev.  Quantum Invariants of Knots and 3-Manifolds , 1994, hep-th/9409028.

[31]  Ross Street.  Quantum groups: a path to current algebra , 2007 .

[32]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[33]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[34]  E. Riehl.  Basic concepts of enriched category theory , 2014 .

[35]  S. Maclane,et al.  General theory of natural equivalences , 1945 .

[36]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[37]  Saul A. Kripke,et al.  Semantical Considerations on Modal Logic , 2012 .

[38]  Mehrnoosh Sadrzadeh,et al.  Experimental Support for a Categorical Compositional Distributional Model of Meaning , 2011, EMNLP.

[39]  John C. Baez,et al.  Physics, Topology, Logic and Computation: A Rosetta Stone , 2009, 0903.0340.

[40]  Prakash Panangaden,et al.  A Domain of Spacetime Intervals in General Relativity , 2005, Spatial Representation.

[41]  Rafael D. Sorkin.  Causal Sets: Discrete Gravity (Notes for the Valdivia Summer School) , 2003 .

[42]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[43]  S. Lane.  Categories for the Working Mathematician , 1971 .

[44]  Joachim Lambek,et al.  Type Grammar Revisited , 1997, LACL.

[45]  Joachim Kock,et al.  Frobenius Algebras and 2-D Topological Quantum Field Theories , 2004 .

[46]  S. Lane.  Natural Associativity and Commutativity , 1979 .

[47]  Dana S. Scott,et al.  Outline of a Mathematical Theory of Computation , 1970 .

[48]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[49]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[50]  R. A. G. Seely,et al.  Linear Logic, -Autonomous Categories and Cofree Coalgebras , 1989 .

[51]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[52]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[53]  Ross Duncan,et al.  Types for quantum computing , 2006 .

[54]  Shuanhong Wang,et al.  BRAIDED MONOIDAL CATEGORIES ASSOCIATED TO YETTER-DRINFELD CATEGORIES , 2002 .

[55]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[56]  R. Muirhead.  Some Methods applicable to Identities and Inequalities of Symmetric Algebraic Functions of n Letters , 1902 .

[57]  Bob Coecke,et al.  Quantaloids Describing Causation and Propagation of Physical Properties , 2000 .

[58]  Noam Chomsky,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[59]  J. Robin B. Cockett,et al.  Introduction to linear bicategories , 2000, Mathematical Structures in Computer Science.

[60]  I. Olkin,et al.  Inequalities: Theory of Majorization and Its Applications , 1980 .

[61]  Mehrnoosh Sadrzadeh,et al.  Epistemic Actions as Resources , 2007, J. Log. Comput..

[62]  Usa Sasaki.  Orthocomplemented Lattices Satisfying the Exchange Axiom , 1954 .

[63]  Bob Coecke,et al.  Interacting quantum observables: categorical algebra and diagrammatics , 2009, ArXiv.