FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer:...
Transcript of FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer:...
![Page 1: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/1.jpg)
FROM COHERENCE TO QUANTUM
bOB cOECKE
Oxford University
se10.comlab.ox.ac.uk:8080/BobCoecke/Home en.html
(or Google Bob Coecke)
Impact des Categories – Paris – Oct. 2005
![Page 2: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/2.jpg)
Prologue, ...
![Page 3: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/3.jpg)
Why categories?
![Page 4: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/4.jpg)
The practicing physicist’s answer:
![Page 5: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/5.jpg)
The practicing physicist’s answer:
It’s the algebra of practicing physics!
![Page 6: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/6.jpg)
The practicing physicist’s answer:
It’s the algebra of practicing physics!
or, even more precise:
A symmetric monoidal category isthe algebra of practicing physics!
Benabou, J. (1963) Categories avec multiplication.
![Page 7: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/7.jpg)
Kinds of systems
A , B , C , ...
• e.g. qubit, n qubits, electron, atom, data, ...
![Page 8: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/8.jpg)
Kinds of systems
A , B , C , ...
• e.g. qubit, n qubits, electron, atom, data, ...
Operations/experiments on systems
Af
-A , Ag
-B , Bh
-C , ...
• e.g. preparation, acting force field, measurement, ...
![Page 9: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/9.jpg)
Kinds of systems
A , B , C , ...
• e.g. qubit, n qubits, electron, atom, data, ...
Operations/experiments on systems
Af
-A , Ag
-B , Bh
-C , ...
• e.g. preparation, acting force field, measurement, ...
Composition of operations
Ag◦f
-C := Af
-Bg
-C
‘Doing nothing’-operations
A1A-A , B
1B -B , C1C -C , ...
![Page 10: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/10.jpg)
Definition. A category C consits of
• Objects A,B,C, . . .
• Morphisms f, g, h, . . . ∈ C(A,B) for each pair A,B
• Associative composition of morphisms i.e.
f ∈ C(A,B) , g ∈ C(B,C) ⇒ g ◦ f ∈ C(A,C)
(h ◦ g) ◦ f = h ◦ (g ◦ f )
• An identity morphism 1A ∈ C(A,A) for each A i.e.
f ◦ 1A = 1B ◦ f = f
![Page 11: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/11.jpg)
A trans-disciplinary argument:
LOGIC & PROOF THEORYPropositions
Proofs
PROGRAMMINGData TypesPrograms
PHYSICAL PRACTICEPhysical System
Physical Operation
![Page 12: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/12.jpg)
Key features of a category:
• Types
•Compositionality
• Structure lives on operations
![Page 13: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/13.jpg)
Outline, ...
![Page 14: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/14.jpg)
• Scientific practice is symmetric monoidal
![Page 15: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/15.jpg)
• Scientific practice is symmetric monoidal
• Scientific practice is not always cartesian
![Page 16: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/16.jpg)
• Scientific practice is symmetric monoidal
• Scientific practice is not always cartesian
• From coherence to neo-CCC’s with Mac Lane & Kelly
![Page 17: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/17.jpg)
• Scientific practice is symmetric monoidal
• Scientific practice is not always cartesian
• From coherence to neo-CCC’s with Mac Lane & Kelly
• Application: Quantum mechanics in kindergarten
![Page 18: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/18.jpg)
• Scientific practice is symmetric monoidal
• Scientific practice is not always cartesian
• From coherence to neo-CCC’s with Mac Lane & Kelly
• Application: Quantum mechanics in kindergarten
• Reconsideration: Quantum logic which actually works
![Page 19: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/19.jpg)
The symmetric monoidalstructure of scientific practice
![Page 20: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/20.jpg)
Compoundness via parallel composition
Two systems/operations can be considered as one whole:
A⊗B A⊗ Cf ⊗ g
-B ⊗D
![Page 21: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/21.jpg)
Compoundness via parallel composition
Two systems/operations can be considered as one whole:
A⊗B A⊗ Cf ⊗ g
-B ⊗D
Graphical representation:
fB
A
A
fB
A
gC
fB
A
D
C
gC D
A B
hfB
A
C
![Page 22: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/22.jpg)
Locality of operations
A1⊗A2
f ⊗ 1A2-B1⊗A2
A1⊗B2
1A1 ⊗ g
?
f ⊗ 1B2
-B1⊗B2
1B1 ⊗ g
?
f
g f
g=
![Page 23: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/23.jpg)
Locality of operations
(g1 ⊗ g2) ◦ (f1 ⊗ f2) = (g1 ◦ f1)⊗ (g2 ◦ f2)
f
gg
f
1
21
2
![Page 24: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/24.jpg)
Swapping systems/operations
A1 ⊗ A2f ⊗ g
-B1 ⊗B2
A2 ⊗ A1
σA1,A2
?
g ⊗ f-B2 ⊗B1
σB1,B2
?
g
f g=
f
![Page 25: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/25.jpg)
Colocating systems/operations
(A1 ⊗ A2)⊗ A3(f ⊗ g)⊗ h
- (B1 ⊗B2)⊗B3
A1 ⊗ (A2 ⊗ A3)
αA1,A2,A3
?
f ⊗ (g ⊗ h)-B1 ⊗ (B2 ⊗B3)
αB1,B2,B3
?
f g=
h
f g h
![Page 26: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/26.jpg)
Creating/destroying systems
![Page 27: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/27.jpg)
Creating/destroying systems
I := ‘no system’ i.e. A⊗ I ' A ' I⊗ A
![Page 28: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/28.jpg)
Creating/destroying systems
I := ‘no system’ i.e. A⊗ I ' A ' I⊗ A
Af
-B Af
-B
I⊗ A
λA
?
1I ⊗ f- I⊗B
λB
?
A⊗ I
ρA
?
f ⊗ 1I
-B ⊗ I
ρB
?
![Page 29: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/29.jpg)
Creating/destroying systems
sψA
A
π
![Page 30: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/30.jpg)
Creating/destroying systems
sψA
A
π
=ψ
ψf
f
![Page 31: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/31.jpg)
Creating/destroying systems
sψA
A
π
Af
-B
C ⊗ A
(ψ ⊗ 1A) ◦ λA
?
1C ⊗ f-C ⊗B
(ψ ⊗ 1B) ◦ λB
?
![Page 32: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/32.jpg)
Creating/destroying systems
Af
-B
I⊗ A
λA
?
1I ⊗ f- I⊗B
λB
?
Bifunct.
C ⊗ A
ψ ⊗ 1A
?
1C ⊗ f-C ⊗B
ψ ⊗ 1B
?
![Page 33: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/33.jpg)
• State :=
ψ : I → A
• Scalar/value :=
s : I → I
• State space := C(I, A)
xx xxxx
• Scalar monoid:= C(I, I)
![Page 34: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/34.jpg)
Thm. Commutativity of the scalar monoid
I �'
I⊗ I=======I⊗ I=======I⊗ I'
- I
I
t
?�
'I⊗ I
1I ⊗ t
?
I⊗ I
s⊗ 1I
? '- I
s
?
I
s
?�
'I⊗ I
s⊗ 1I
?
=======I⊗ I
s⊗ t
?
=======I⊗ I
1I ⊗ t
?
'- I
t
?
Kelly & Laplaza, M. L. (1980) Coherence for CCCs. JPAA 19.
![Page 35: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/35.jpg)
Scalar multiplication comes for free
s • f := A'
-A⊗ If ⊗ s
-B ⊗ I'
-Bs ◦ t =
![Page 36: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/36.jpg)
Scalar multiplication comes for free
s • f := A'
-A⊗ If ⊗ s
-B ⊗ I'
-Bs ◦ t =
Thm.
(s • f ) ◦ (t • g) = (s ◦ t) • (f ◦ g)
(s • f )⊗ (t • g) = (s ◦ t) • (f ⊗ g)
![Page 37: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/37.jpg)
Scalar multiplication comes for free
s • f := A'
-A⊗ If ⊗ s
-B ⊗ I'
-Bs ◦ t =
Thm.
(s • f ) ◦ (t • g) = (s ◦ t) • (f ◦ g)
(s • f )⊗ (t • g) = (s ◦ t) • (f ⊗ g)
f fs
s
f
s
= =
![Page 38: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/38.jpg)
Set vs. Rel
(Set,×): functions fx : {∗} → X :: ∗ 7→ x
(Hilb,⊗): linear functions fψ : C → H :: 1 7→ ψ
(Rel,×): relations R ⊆ {∗} ×X :: ∗ 7→ Y
![Page 39: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/39.jpg)
Set vs. Rel
(Set,×): functions fx : {∗} → X :: ∗ 7→ x
(Hilb,⊗): linear functions fψ : C → H :: 1 7→ ψ
(Rel,×): relations R ⊆ {∗} ×X :: ∗ 7→ Y
For Yi := X iff i ∈ Y and Yi := ∅ iff i 6∈ Y :
|ψ〉 =∑i∈X
ψi · | i 〉 ↔ Y =⋃i∈X
Yi ∩ {i}
![Page 40: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/40.jpg)
Set vs. Rel
(Set,×): functions fx : {∗} → X :: ∗ 7→ x
(Hilb,⊗): linear functions fψ : C → H :: 1 7→ ψ
(Rel,×): relations R ⊆ {∗} ×X :: ∗ 7→ Y
-
6
��
��
�
��
�
���
��
�
{1}
{2}
{3}
{1,2}
{2,3}
{1,3}
{1,2,3}
∅
![Page 41: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/41.jpg)
Scientific practice is notalways cartesian
![Page 42: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/42.jpg)
internalizing morphisms
cartesianity:
C(A×B,C) ' C(A,B ⇒ C)
⇒ Multiplicative (constructive) Logic
![Page 43: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/43.jpg)
cartesian ⇒ diagonal
— the process of copying —
{∆A : A→ A⊗ A}A
Af
-B
A⊗ A
∆A
?
f ⊗ f-B ⊗B
∆B
?
![Page 44: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/44.jpg)
cartesian ⇒ diagonal
— the process of copying —
Computing: resources are limited⇒ Barr’s ∗-autonomy
Language: not 6= not not ⇒ Lambek-style semantics
Physics: quantum no-cloning theorem ⇒ ?
![Page 45: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/45.jpg)
internalizing morphisms
cartesianity:
C(A×B,C) ' C(A,B ⇒ C)
⇒ Multiplicative (constructive) Logic
![Page 46: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/46.jpg)
internalizing morphisms
cartesianity:
C(A×B,C) ' C(A,B ⇒ C)
⇒ Multiplicative (constructive) Logic
⊗-closedness:
C(A⊗B,C) ' C(A,B ⇒ C)
⇒ Multiplicative (linear or non-linear) Logic
![Page 47: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/47.jpg)
internalizing morphisms
cartesianity:
C(A×B,C) ' C(A,B ⇒ C)
⇒ Multiplicative (constructive) Logic
⊗-closedness:
C(A⊗B,C) ' C(A,B ⇒ C)
⇒ Multiplicative (linear or non-linear) Logic
∗-autonomy:
C(A⊗B,C) ' C(A, (B ⊗ C∗)∗)
⇒ Multiplicative Linear Logic with Negation
![Page 48: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/48.jpg)
Prop. A symmetric monoidal category which is botha cartesian closed and ∗-autonomous is a preorder.
![Page 49: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/49.jpg)
cartesian ⇒ diagonal
— the process of copying —
Not commutative in (Rel,×):
{∗}{(∗, 0), (∗, 1)}
- {0, 1}
{(∗, ∗)}
{(∗, (∗, ∗))}
?
{(∗, 0), (∗, 1)} × {(∗, 0), (∗, 1)}- {0, 1} × {0, 1}
{(0, (0, 0)), (1, (1, 1))}
?
![Page 50: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/50.jpg)
cartesian ⇒ diagonal
— the process of copying —
Not commutative in (Hilb,⊗):
C1 7→ |0〉 + |1〉
- C⊕ C
C ' C⊗ C
1 7→ 1⊗ 1
?
1⊗ 1 7→ (|0〉 + |1〉)⊗ (|0〉 + |1〉)- (C⊕ C)⊗ (C⊕ C)
|0〉 7→ |0〉 ⊗ |0〉|1〉 7→ |1〉 ⊗ |1〉
?
![Page 51: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/51.jpg)
cartesian ⇒ diagonal
— the process of copying —
Not commutative in (Hilb,⊗):
C1 7→ |0〉 + |1〉
- C⊕ C
C ' C⊗ C
1 7→ 1⊗ 1
?
1⊗ 1 7→ (|0〉 + |1〉)⊗ (|0〉 + |1〉)- (C⊕ C)⊗ (C⊕ C)
|0〉 7→ |0〉 ⊗ |0〉|1〉 7→ |1〉 ⊗ |1〉
?
Entangled Bell-state vs. disentangled state
![Page 52: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/52.jpg)
From coherence to neo-C(C)C— with Saunders Mac Lane and Max Kelly —
![Page 53: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/53.jpg)
coherence
Mac Lane in Coherence in categories, LNM 281 (1970):
Lambek obtained a preliminary coherence resultwhich recognizes a connection between [coher-ence for closed monoidal categories] and the cut-elimination theorem of Gentzen-style proof theory,and then Kelly-Mac Lane combined some of Lam-bek’s ideas with the notion of “graph” of a gen-eralized natural transformation to obtain a muchmore extensive coherence theorem covering manyof the diagrams arising in closed categories.
![Page 54: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/54.jpg)
coherence
Max Kelly in Coherence in categories, LNM 281 (1970):
Moreover, such things appear in na-ture. Define a compact closed categoryas . . .
![Page 55: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/55.jpg)
Examples of Compact (Closed) Categories:
• ‘multi-linear algebra’ e.g. ‘categories tannakiennes’
• ‘interaction categories’ in computational concurrency
• ‘cobordism categories’ for topological quantum fields
• ‘Lambek pregroup’ = non-sym. compact preorder
• ‘knots’ = morphism in non-sym. compact category
• ‘quantum entanglement’ = strongly compact cate-• gory = ‘essence of full-blown quantum mechanics’
![Page 56: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/56.jpg)
Compact (Closed) Categories
Def. A compact closed category is a 1-objectbicategory in which each 1-cell has a left adjoint.
Benabou, J. (1967) Introduction to bicategories. LNM 47.
Kelly, G.M. (1972) Many-variable functorial calculus. LNM 281.
Kelly & Laplaza, M. L. (1980) Coherence for CCCs. JPAA 19.
![Page 57: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/57.jpg)
Compact (Closed) Categories
Symmetric Monoidal Tensor with for each object A
• dual A∗
• unit ηA : I → A∗⊗A and counit εA : A⊗A∗ → I
A �'
I⊗ A �εA ⊗ 1A
(A⊗ A∗)⊗ A
A
1A
6
'-A⊗ I
1A ⊗ ηA-A⊗ (A∗ ⊗ A)
'
6
(1)
![Page 58: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/58.jpg)
Compact (Closed) Categories
Symmetric Monoidal Tensor with for each object A
• dual A∗
• unit ηA : I → A∗⊗A and counit εA : A⊗A∗ → I
A∗�'
A∗⊗ I �1A∗⊗ εA
A∗ ⊗ (A⊗ A∗)
A∗
1A∗
6
'- I⊗ A∗
ηA ⊗ 1A∗- (A∗⊗ A)⊗ A∗
'
6
(2)
![Page 59: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/59.jpg)
Compact (Closed) Categories
Symmetric Monoidal Tensor with for each object A
• dual A∗
• unit ηA : I → A∗⊗A and counit εA : A⊗A∗ → I
=
![Page 60: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/60.jpg)
Compact (Closed) Categories
Symmetric Monoidal Tensor with for each object A
• dual A∗
• unit ηA : I → A∗⊗A and counit εA : A⊗A∗ → I
=
![Page 61: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/61.jpg)
Compact (Closed) Categories
A contravariant ⊗-involution
f : A→ B 7→ f ∗ : B∗ → A∗
arises as
A∗ �'
A∗ ⊗ I �1A∗ ⊗ εB
A∗ ⊗B ⊗B∗
B∗
f ∗
6
'- I⊗B∗
ηA ⊗ 1B∗-A∗ ⊗ A⊗B∗
1A∗⊗ f ⊗ 1B∗
6
⇒ ∗-autonomy
![Page 62: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/62.jpg)
Compact (Closed) Categories
A contravariant ⊗-involution
f : A→ B 7→ f ∗ : B∗ → A∗
arises as=:
ff *
![Page 63: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/63.jpg)
Compact (Closed) Categories
A contravariant ⊗-involution
f : A→ B 7→ f ∗ : B∗ → A∗
arises as=:
ff *
⇒ ∗-autonomy
![Page 64: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/64.jpg)
∗-autonomy + ⊗ ≡ ⊗∗compact closure
cf. A⇒ B := A∗ ⊗∗ B = (A⊗B∗)∗ via De Morgan
![Page 65: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/65.jpg)
Closedness:
C(A⊗B,C) ' C(A,B ⇒ C)
⇒ Multiplicative Logic
∗-Autonomy:
C(A⊗B,C) ' C(A, (B ⊗ C∗)∗)
⇒ Multiplicative Logic with Negation
![Page 66: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/66.jpg)
Closedness:
C(A⊗B,C) ' C(A,B ⇒ C)
⇒ Multiplicative Logic
∗-Autonomy:
C(A⊗B,C) ' C(A, (B ⊗ C∗)∗)
⇒ Multiplicative Logic with Negation
Compactness:
C(A⊗B,C) ' C(A,B∗⊗ C)
⇒ Weird Logic
![Page 67: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/67.jpg)
By closedness
C(B,C) ' C(I, B ⇒ C)
Bf
-C'↔ I -B⇒C
⇒ internalization as elements
![Page 68: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/68.jpg)
By closedness
C(B,C) ' C(I, B ⇒ C)
Bf
-C'↔ I -B⇒C
⇒ internalization as elements
By compactness
C(B ⊗ C∗, I) ' C(B,C) ' C(I, B∗ ⊗ C)
B ⊗ C∗ - I'↔ B
f-C
'↔ I -B∗ ⊗ C
⇒ internalization as co-elements and as elements
![Page 69: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/69.jpg)
Compact (Closed) Categories
A partial trace
f : C ⊗ A→ C ⊗B 7→ TrC(f ) : A→ B
arises as
B �'
I⊗B �(σC,C∗ ◦ εC)⊗ 1B
C∗⊗ C ⊗B
A
TrC(f )
6
'- I⊗ A
ηC ⊗ 1A-C∗⊗ C ⊗ A
1C∗⊗ f
6
Joyal, A, Street, R &Verity,D (1995) Traced Monoidal Categories.
![Page 70: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/70.jpg)
Compact (Closed) Categories
A partial trace
f : C ⊗ A→ C ⊗B 7→ TrC(f ) : A→ B
arises as=:
fTr ( f )C
Joyal, A, Street, R &Verity,D (1995) Traced Monoidal Categories.
![Page 71: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/71.jpg)
Compact (Closed) Categories
A full trace
h : A→ A 7→ Tr(h) : I → I
arises as
I �σA,A∗ ◦ εA
A∗⊗ A
I
Tr(h)
6
ηA-A∗⊗ A
1A∗⊗ h
6
Joyal, A, Street, R &Verity,D (1995) Traced Monoidal Categories.
![Page 72: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/72.jpg)
Compact (Closed) Categories
A full trace
h : A→ A 7→ Tr(h) : I → I
arises as
=:hTr( h )
Joyal, A, Street, R &Verity,D (1995) Traced Monoidal Categories.
![Page 73: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/73.jpg)
Compositionality
When defining names and conames
=: f =:
fff
![Page 74: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/74.jpg)
Compositionality
When defining names and conames
=: f =:
fff
we obtain
=f
g
= f
g
f
g
=
f
g
![Page 75: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/75.jpg)
Compositionality
f
g=
f
g
![Page 76: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/76.jpg)
Compositionality
=g
f hh g fo o
![Page 77: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/77.jpg)
If C has a 0-object, products and coproducts and if
all morphisms with matrix
(1 00 1
)are isos then
C has biproducts.
If C is Ab-enriched and if there are morphisms
A�p1
q1-A⊕B
p2-
�
q2B
with
pi ◦ qj = δij∑
iqi ◦ pi = 1A⊕B
then C has biproducts.
Biproduct categories admits matrix calculus
![Page 78: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/78.jpg)
Categorics of matrix calculi
Let BP be a biproduct category with an object I suchthat BP(I, I) is commutative. Define full subcategory.
![Page 79: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/79.jpg)
Categorics of matrix calculi
Let BP be a biproduct category with an object I suchthat BP(I, I) is commutative. Define full subcategory.
• Objects := N ' {I⊕ . . .⊕ I︸ ︷︷ ︸n
| n ∈ N}
•D(n,m)= n×m matrices in BP(I, I)
• (I⊕ . . .⊕ I︸ ︷︷ ︸n
)⊗ (I⊕ . . .⊕ I︸ ︷︷ ︸m
) := I⊕ . . .⊕ I︸ ︷︷ ︸n×m
• n∗ := n and ηn = εTn := ∆(n) =: I → I⊕ . . .⊕ I︸ ︷︷ ︸n×n
![Page 80: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/80.jpg)
Categorics of matrix calculi
Let BP be a biproduct category with an object I suchthat BP(I, I) is commutative. Define full subcategory.
• Objects := N ' {I⊕ . . .⊕ I︸ ︷︷ ︸n
| n ∈ N}
•D(n,m)= n×m matrices in BP(I, I)
• (I⊕ . . .⊕ I︸ ︷︷ ︸n
)⊗ (I⊕ . . .⊕ I︸ ︷︷ ︸m
) := I⊕ . . .⊕ I︸ ︷︷ ︸n×m
• n∗ := n and ηn = εTn := ∆(n) =: I → I⊕ . . .⊕ I︸ ︷︷ ︸n×n
⇒ we obtain a compact closed category
Deligne, P. (1990) Categories tannakiennes. Grothendieck Festschrift
![Page 81: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/81.jpg)
distributivity natural transformation
(A1 ⊕ A2)⊗ C(f1 ⊕ f2)⊗ g
- (B1 ⊕B2)⊗D
(A1 ⊗ C)⊕ (A2 ⊗ C)
DISTA1,A2,C
?
(f1 ⊗ g)⊕ (f2 ⊗ g)- (B1 ⊗D)⊕ (B2 ⊗D)
DISTB1,B2,D
?
![Page 82: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/82.jpg)
distributivity natural transformation
(A1 ⊕ A2)⊗ C(f1 ⊕ f2)⊗ g
- (B1 ⊕B2)⊗D
(A1 ⊗ C)⊕ (A2 ⊗ C)
DISTA1,A2,C
?
(f1 ⊗ g)⊕ (f2 ⊗ g)- (B1 ⊗D)⊕ (B2 ⊗D)
DISTB1,B2,D
?
Distribution of data:
(I⊕ I)⊗ Agent ' (I⊗ Agent)⊕ (I⊗ Agent)
![Page 83: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/83.jpg)
Q===============Q
produce EPR-pair
Q⊗ (Q∗⊗Q)
(1⊗ p1q) ◦ ρ
?
spatial relocation
(Q⊗Q∗)⊗Q
α
?
Bell-base measurement
(4 · I)⊗Q
〈xβiy〉i=4i=1 ⊗ 1
?
classical communication
4 ·Q
DIST
?
unitary correction
4 ·Q
1Q
?�
pi4 ·Q
⊕i=4i=1β
−1i
?
![Page 84: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/84.jpg)
†-compactnesscompactness ' inner-product space
vector space
Abramsky & Coecke (2004) A categorical semantics of quan-tum protocols. IEEE – Logic in Computer Science – quant-ph/0402130.
Abramsky & Coecke (2005) Abstract physical traces. TAC 14.
Selinger, P. (2005) †-CCC and completely positive maps.
![Page 85: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/85.jpg)
†-CCC
Symmetric Monoidal Tensor with
• dual A∗
• unit ηA : I → A∗ ⊗ A with ηA∗ = σA∗,A ◦ ηA• contravariant ⊗-involutive adjoints f † : B → A
A �'
I⊗ A �η†A∗ ⊗ 1A
(A⊗ A∗)⊗ A
A
1A
6
'-A⊗ I
1A ⊗ ηA-A⊗ (A∗ ⊗ A)
'
6
![Page 86: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/86.jpg)
†-CCC
Symmetric Monoidal Tensor with
• dual A∗
• unit ηA : I → A∗ ⊗ A with ηA∗ = σA∗,A ◦ ηA• contravariant ⊗-involutive adjoints f † : B → A
=
![Page 87: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/87.jpg)
†-CCC
Symmetric Monoidal Tensor with
• dual A∗
• unit ηA : I → A∗ ⊗ A with ηA∗ = σA∗,A ◦ ηA• contravariant ⊗-involutive adjoints f † : B → A
A �'
I⊗ A �η†A ⊗ 1A
A∗⊗ A⊗ A
A
1A
6
'- I⊗ A
ηA ⊗ 1A-A∗⊗ A⊗ A
1A∗⊗ σA,A
6
![Page 88: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/88.jpg)
†-CCC
Symmetric Monoidal Tensor with
• dual A∗
• unit ηA : I → A∗ ⊗ A with ηA∗ = σA∗,A ◦ ηA• contravariant ⊗-involutive adjoints f † : B → A
=
![Page 89: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/89.jpg)
†-CCC
A covariant ⊗-involution
f : A→ B 7→ f∗ : A∗ → B∗
arises as
B∗ �'
I⊗B∗ �η†A ⊗ 1B∗
A∗ ⊗ A⊗B∗
A∗
f∗
6
'-A∗ ⊗ I
1A∗ ⊗ ηB∗-A∗ ⊗B ⊗B∗
1B∗⊗ f † ⊗ 1A∗
6
⇒ ∗-autonomy
![Page 90: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/90.jpg)
†-CCC
A covariant ⊗-involution
f : A→ B 7→ f∗ : A∗ → B∗
arises as=:
ff*†
![Page 91: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/91.jpg)
From
=:
ff * and
=:
ff*†
![Page 92: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/92.jpg)
From
=:
ff * and
=:
ff*†
follows=
f(f )*
†*
=
f †
![Page 93: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/93.jpg)
†-CCC
The adjoint decomposes:
f† = (f∗)∗ = (f∗)∗
![Page 94: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/94.jpg)
†-CCC
The adjoint decomposes:
f† = (f∗)∗ = (f∗)∗
E.g. in FdHilb:
(−)∗ := transposition
(−)∗ := complex conjugation
![Page 95: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/95.jpg)
inner-product/norm
For φ, ψ : I → A we set:
〈φ | ψ〉 := φ† ◦ ψ : I → I
ψφ†
![Page 96: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/96.jpg)
Hilbert-Schmidt inner-product/norm
g
f†
〈f | g〉 := Tr(f† ◦ g)
![Page 97: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/97.jpg)
complete bipartite projector
f
f=
f
f†*
Pf : A∗ ⊗B → A∗ ⊗B
![Page 98: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/98.jpg)
Application:kindergarten quantum mechanics
Coecke (2005) Kindergarten quantum mechanics. quant-ph/0510032
![Page 99: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/99.jpg)
Primitive data:
f
B
A
sψA
A
πA
![Page 100: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/100.jpg)
Primitive data:
f
B
A
sψA
A
πA
Sequential and parallel composition:
fB
A
ψA
gC f
B
A
D
C
g
fB
A
C
C D
A B
h
ψB
Aπ
ψA
πfB
sfB
A
![Page 101: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/101.jpg)
Primitive data:
f
B
A
sψA
A
πA
Sequential and parallel composition:
fB
A
ψA
gC f
B
A
D
C
g
fB
A
C
C D
A B
h
ψB
Aπ
ψA
πfB
sfB
A
Duals, adjoints and EPR-states:
fA A* fA
A
B
BA
A
A*
A*
†
![Page 102: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/102.jpg)
Primitive data:
f
B
A
sψA
A
πA
Sequential and parallel composition:
fB
A
ψA
gC f
B
A
D
C
g
fB
A
C
C D
A B
h
ψB
Aπ
ψA
πfB
sfB
A
Duals, adjoints and EPR-states:
fA A* fA
A
B
BA
A
A*
A*
†
![Page 103: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/103.jpg)
THE SOLE AXIOM
=
![Page 104: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/104.jpg)
quantum teleportation
Alice Bob
=ψ ψ
Alice Bob Alice Bob
= ψ
6 eminent researchers (1993) ... teleporting .... 60 years after theactual birth of von Neumann’s quantum formalism in PRL (of course).
![Page 105: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/105.jpg)
quantum teleportation
f
=
fi i
fi-1
fi-1 =
6 eminent researchers (1993) ... teleporting .... 60 years after theactual birth of von Neumann’s quantum formalism in PRL (of course).
![Page 106: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/106.jpg)
quantum teleportation: textbook versionDescription. Alice has an ‘unknown’ qubit |φ〉 and wants to send it to Bob. They have the ability to communicate classical bits,and they share an entangled pair in the EPR-state, that is 1√
2(|00〉 + |11〉), which Alice produced by first applying a Hadamard-gate
1√2
„1 11 −1
«to the first qubit of a qubit pair in the ground state |00〉, and by then applying a CNOT-gate, that is
|00〉 7→ |00〉 |01〉 7→ |01〉 |10〉 7→ |11〉 |11〉 7→ |10〉,
then she sends the first qubit of the pair to Bob. To teleport her qubit, Alice first performs a bipartite measurement on theunknown qubit and her half of the entangled pair in the Bell-base, that is˘
|0x〉+ (−1)z|1(1− x)〉 | x, z ∈ {0, 1}
¯,
where we denote the four possible outcomes of the measurement by xz. Then she sends the 2-bit outcome xz to Bob using
the classical channel. Then, if x = 1, Bob performs the unitary operation σx =
„0 11 0
«on its half of the shared entangled
pair, and he also performs a unitary operation σz =
„1 00 −1
«on it if z = 1. Now Bob’s half of the initially entangled
pair is in state |φ〉.
Proof. In the case that the measurement outcome of the Bell-base measurement is xz, for
Pxz := 〈0x + (−1)z1(1− x)|−〉|0x + (−1)
z1(1− x)〉
we have to apply Pxz ⊗ id to the input state |φ〉 ⊗ 1√2(|00〉+ |11〉). Setting |φ〉 = φ0|0〉+ φ1|1〉 we rewrite the input as
1√
2(φ0|000〉+ φ0|011〉+ φ1|100〉+ φ1|111〉) =
1√
2(φ0
Xx=0,1
|0xx〉+ φ1
Xx=0,1
|1(1− x)(1− x)〉)
and application of Pxz ⊗ id then yields
1√
2|0x + (−1)
z1(1− x)〉 ⊗ (φ0|x〉+ (−1)
zφ1|1− x〉) .
There are four cases concerning the unitary corrections Uxz which have to be applied. For x = z = 0 the third
qubit is φ0|0〉 + φ1|1〉 = |φ〉. If x = 0 and z = 1 it is φ0|0〉 − φ1|1〉 which after applying σz =
„1 00 −1
«becomes |φ〉. If
x = 1 it is φ0|1〉+ (−1)zφ1|0〉 which after applying σx =
„0 11 0
«brings us back to the previous two cases, what completes this
proof. 2
![Page 107: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/107.jpg)
f
B
A
ΨA* B
I{ { }}f Ψ
'
![Page 108: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/108.jpg)
f
B
A
ΨA* B
I{ { }}f Ψ
'
for the bijection i.e.
fB
A
A* B
f7→
![Page 109: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/109.jpg)
Proof of injectivity.
=
f g
![Page 110: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/110.jpg)
Proof of injectivity.
f
=
f g
= = g
f
=
g<=
=<=
![Page 111: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/111.jpg)
Proof of surjectivity.
![Page 112: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/112.jpg)
Proof of surjectivity.
ΨA*
B
A
![Page 113: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/113.jpg)
Proof of surjectivity.
ΨA*
B
A
_-
ΨA*
B
A
A*
=Ψ
A* B
<
![Page 114: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/114.jpg)
Reconsideration:quantum logic which works
Coecke (2005) De-linearizing linearity: Projective quantum ax-iomatics from strong compact closure. quant-ph/0506134
![Page 115: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/115.jpg)
Prehistory
quantum mechanical formalism [vonNeumann 1932]
Birkhoff,G. (1958) von Neumann and lattice theory. Bull. AMS64.
Redei, M. (1997) Why John von Neumann did not like theHilbert space formalism of quantum mechanics (and what heliked instead). Stud. Hist. Phil. Mod. Phys. 27.
![Page 116: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/116.jpg)
Prehistory
quantum mechanical formalism [vonNeumann 1932]
“I would like to make a confession which may seemimmoral: I do not believe absolutely in Hilbert spaceno more.” (sic.) [von Neumann 1935]
Birkhoff,G. (1958) von Neumann and lattice theory. Bull. AMS64.
Redei, M. (1997) Why John von Neumann did not like theHilbert space formalism of quantum mechanics (and what heliked instead). Stud. Hist. Phil. Mod. Phys. 27.
![Page 117: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/117.jpg)
vectorial vs. projective
Hilbert space HHHHHHHHHHHHHHHH
Birkhoff & von Neumann (1936)
jlattice of subspaces L(H)
kill redundant global scalars
?
go abstract- abstract lattices
![Page 118: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/118.jpg)
vectorial vs. projective
Hilbert space HHHHHHHHHHHHHHHH
Birkhoff & von Neumann (1936)
jlattice of subspaces L(H)
kill redundant global scalars
?
go abstract- abstract lattices
FdHilbgo abstract
- ‘vectorial’ strong compact closureHHHHHHHHHHHHHHH
our approach
j‘projective’ strong compact closure
kill redundant global scalars
?
![Page 119: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/119.jpg)
If
f g
=
f g ††
then there exist diamonds s, t such that:
sfs t g s tt
= =
† †
Formally:
f⊗f †= g⊗g† =⇒ ∃s, t : s•f = t•g , s◦s† = t◦t†
![Page 120: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/120.jpg)
Proof.
f
fs
=: † g
ft
=: †
![Page 121: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/121.jpg)
Proof.
f
fs
=: † g
ft
=: †
g
f
= †
f
† gff
![Page 122: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/122.jpg)
Proof.
f
fs
=: † g
ft
=: †
g
f
= †
f
† gff
![Page 123: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/123.jpg)
Proof.
f
fs
=: † g
ft
=: †
g
f
= †
f
†f
f
†f
g
f†
![Page 124: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/124.jpg)
Proof.
f
fs
=: † g
ft
=: †
g
f
= †
f
†f
f
†f
g
f†
![Page 125: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/125.jpg)
density matrices
fB
A
fB
A
†
![Page 126: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/126.jpg)
density matrices
fB
A
fB
A
†
C
C
![Page 127: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/127.jpg)
density matrices
fB
A
fB
A
†
C
C
C*
![Page 128: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/128.jpg)
density matrices
fB
A
fB
A
†
C
C
C*
In FdHilb we get completely positive maps asmorphisms and density matrices as elements!
Selinger, P. (2005) †-CCC and completely positive maps.
![Page 129: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/129.jpg)
density matrices
fB
A
fB*
A*C C**
In FdHilb we get completely positive maps asmorphisms and density matrices as elements!
Selinger, P. (2005) †-CCC and completely positive maps.
![Page 130: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/130.jpg)
density matrices
f
B
A
f
B*
A*C C**
gE
gE*
D D**
Selinger, P. (2005) †-CCC and completely positive maps.
![Page 131: FROM COHERENCE TO QUANTUM bOB cOECKE Oxford University · The practicing physicist’s answer: It’s the algebra of practicing physics! or, even more precise: A symmetric monoidal](https://reader034.fdocuments.us/reader034/viewer/2022042221/5ec7a61e6998804877657d24/html5/thumbnails/131.jpg)
special thanx toMICHAEL WRIGHT
for his initiative and enthusiasm