Compositionality Journal: A quick look at the first papers

compositionality.txt

The text used in this video:

https://youtu.be/GMrzjGTm_5c

## Compositionality Announcement
  - https://compositionality-journal.org/

People:
* Baez, See
  - https://johncarlosbaez.wordpress.com/ (blog)
  - http://math.ucr.edu/home/baez/TWF.html (I think 1993 to 2011, maybe beyond)

## Compositionality Papers (first issue)
#### 1) On Petri networks
- https://compositionality-journal.org/papers/compositionality-1-4/pdf/
See my video on Petri-nets
  - https://youtu.be/VW0RAonW8Aw

#### 2) On Stinespring & Adjoints
- https://compositionality-journal.org/papers/compositionality-1-2/pdf
Operator theory
See
- https://en.wikipedia.org/wiki/Stinespring_factorization_theorem
Maybe relevant for the history of it:
- https://arxiv.org/pdf/1603.04353.pdf

#### 3) On Fuzziness via Sheaves
- https://compositionality-journal.org/papers/compositionality-1-3/pdf

#### 4) On QT via Effectus theory
- https://compositionality-journal.org/papers/compositionality-1-1/pdf

27 pages, 20 pages main text, 4 pages appendix.

Questions asked:
  * What are frameworks for physical theories, what aspects are then,
  in those frameworks, not-general (which properties are particular to QM)
  * How do C*-algebras arise

Some keywords:
* Axiom for reconstructions of QM
* Quantum state tomography
* Generalized Probabilistic Theories

Author:
* John van de Wetering
  - http://vdwetering.name/
  Supervised by Aleks Kissinger & Bart Jacobs (see also "TT & CT Logic" book)
    - https://www.cs.ru.nl/A.Kissinger/
    - https://www.cs.ru.nl/~bart/
      * https://www.amazon.com/Categorical-Theory-Studies-Foundations-Mathematics/dp/0444508538
* Quantum computing Python code project
  See
    - https://youtu.be/iC-KVdB8pf0
    - https://github.com/Quantomatic/pyzx

Related:
* Slides of relevant talk at ACT:
  - http://vdwetering.name/pdfs/presentation-act2019.pdf
* "An Introduction to Effectus Theory - Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan"
  - https://arxiv.org/pdf/1512.05813.pdf

References:
- https://en.wikipedia.org/wiki/Quantum_foundations
- https://en.wikipedia.org/wiki/Quantum_tomography
- https://en.wikipedia.org/wiki/Jordan_algebra