john baez and kenny courser - university of …an open network is a network with prescribed inputs...
TRANSCRIPT
![Page 1: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/1.jpg)
Structured cospans
John Baez and Kenny Courser
University of California, Riverside
May 22, 2019
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 1 / 34
![Page 2: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/2.jpg)
Networks can very often be viewed as sets equipped or ‘decorated’ withextra structure...
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 2 / 34
![Page 3: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/3.jpg)
For example,
w
x
y z4
22
1
1/2
H
O
α H2O
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 3 / 34
![Page 4: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/4.jpg)
For example,
w
x
y z4
22
1
1/2
H
O
α H2O
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 3 / 34
![Page 5: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/5.jpg)
An open network is a network with prescribed inputs and outputs.
w
x
y zinputs outputs4
22
1
1/2
H
O
α H2O
1
2
3
a b
4
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 4 / 34
![Page 6: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/6.jpg)
An open network is a network with prescribed inputs and outputs.
w
x
y zinputs outputs4
22
1
1/2
H
O
α H2O
1
2
3
a b
4
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 4 / 34
![Page 7: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/7.jpg)
An open network is a network with prescribed inputs and outputs.
w
x
y zinputs outputs4
22
1
1/2
H
O
α H2O
1
2
3
a b
4
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 4 / 34
![Page 8: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/8.jpg)
An easy example to have in mind is the example of open graphs:
w
x
y
z{?} {?}
i o
e1
e4e5
e3
e2
The overall shape of this diagram resembles that of a cospan:
a
c
b
i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 5 / 34
![Page 9: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/9.jpg)
An easy example to have in mind is the example of open graphs:
w
x
y
z{?} {?}
i o
e1
e4e5
e3
e2
The overall shape of this diagram resembles that of a cospan:
a
c
b
i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 5 / 34
![Page 10: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/10.jpg)
Brendan Fong has developed a theory of decorated cospans which is wellsuited for describing ‘open’ networks.
Theorem (B. Fong)Let A be a category with finite colimits and F : A→ Set a symmetric laxmonoidal functor. Then there exists a category FCospan which has:
• objects as those of A and
• morphisms as isomorphism classes of F-decorated cospans,where an F-decorated cospan is given by a pair:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 6 / 34
![Page 11: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/11.jpg)
Brendan Fong has developed a theory of decorated cospans which is wellsuited for describing ‘open’ networks.
Theorem (B. Fong)Let A be a category with finite colimits and F : A→ Set a symmetric laxmonoidal functor. Then there exists a category FCospan which has:
• objects as those of A and
• morphisms as isomorphism classes of F-decorated cospans,where an F-decorated cospan is given by a pair:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 6 / 34
![Page 12: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/12.jpg)
Brendan Fong has developed a theory of decorated cospans which is wellsuited for describing ‘open’ networks.
Theorem (B. Fong)Let A be a category with finite colimits and F : A→ Set a symmetric laxmonoidal functor. Then there exists a category FCospan which has:
• objects as those of A and
• morphisms as isomorphism classes of F-decorated cospans,where an F-decorated cospan is given by a pair:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 6 / 34
![Page 13: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/13.jpg)
Theorem (B. Fong continued)Two F-decorated cospans are in the same isomorphism class if thefollowing diagrams commute:
a
c
c′
b 1
F(c)
F(c′)
d
d′
f∼ F(f)
i o
i′ o′
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 7 / 34
![Page 14: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/14.jpg)
Theorem (B. Fong continued)To compose two morphisms:
a1 c1 a2
d1 ∈ F(c1)
a2 c2 a3
d2 ∈ F(c2)
i o i′ o′
we take the pushout in A:
a1
c1
a2
c2
a3
c1 + c2
c1 +a2 c2
i o i′ o′
j j′
ψ
ψji ψj′o′
d1 � d2 : 1d1×d2−−−−→ F(c1) × F(c2)
φc1 ,c2−−−−→ F(c1 + c2)
F(ψ)−−−−→ F(c1 +a2 c2)
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 8 / 34
![Page 15: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/15.jpg)
Theorem (B. Fong continued)To compose two morphisms:
a1 c1 a2
d1 ∈ F(c1)
a2 c2 a3
d2 ∈ F(c2)
i o i′ o′
we take the pushout in A:
a1
c1
a2
c2
a3
c1 + c2
c1 +a2 c2
i o i′ o′
j j′
ψ
ψji ψj′o′
d1 � d2 : 1d1×d2−−−−→ F(c1) × F(c2)
φc1 ,c2−−−−→ F(c1 + c2)
F(ψ)−−−−→ F(c1 +a2 c2)
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 8 / 34
![Page 16: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/16.jpg)
For example, if we let F : Set→ Set be the symmetric lax monoidal functorthat assigns to a set N the (large) set of all graph structures having N asits set of vertices:
F(N) = {E N}
s
t
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 9 / 34
![Page 17: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/17.jpg)
For an example of this example, if we take N = {n1, n2, n3} to be a threeelement set, then some elements of the (large) set F(N) are given by:
n1• •
n2
•n3
d1 ∈ F(N)
•n1
•n2
•n3
d2 ∈ F(N)
•n1
•n2
•n3
d3 ∈ F(N)
•n1
•n2
•n3
d4 ∈ F(N)
e1
e3 e2
e1
e3 e2
f1
f3 f2
e3e1 e2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 10 / 34
![Page 18: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/18.jpg)
For an example of this example, if we take N = {n1, n2, n3} to be a threeelement set, then some elements of the (large) set F(N) are given by:
n1• •
n2
•n3
d1 ∈ F(N)
•n1
•n2
•n3
d2 ∈ F(N)
•n1
•n2
•n3
d3 ∈ F(N)
•n1
•n2
•n3
d4 ∈ F(N)
e1
e3 e2
e1
e3 e2
f1
f3 f2
e3e1 e2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 10 / 34
![Page 19: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/19.jpg)
One defect of this framework lies in what constitutes an isomorphismclass:
a
c
c′
b 1
F(c)
F(c′)
d
d′
f∼ F(f)
i o
i′ o′
The triangle on the right is in Set and commutes on the nose.
This means that a decoration d ∈ F(c) together with a bijection f : c → c′
determines what the decoration d′ ∈ F(c′) must be.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 11 / 34
![Page 20: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/20.jpg)
One defect of this framework lies in what constitutes an isomorphismclass:
a
c
c′
b 1
F(c)
F(c′)
d
d′
f∼ F(f)
i o
i′ o′
The triangle on the right is in Set and commutes on the nose.
This means that a decoration d ∈ F(c) together with a bijection f : c → c′
determines what the decoration d′ ∈ F(c′) must be.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 11 / 34
![Page 21: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/21.jpg)
One defect of this framework lies in what constitutes an isomorphismclass:
a
c
c′
b 1
F(c)
F(c′)
d
d′
f∼ F(f)
i o
i′ o′
The triangle on the right is in Set and commutes on the nose.
This means that a decoration d ∈ F(c) together with a bijection f : c → c′
determines what the decoration d′ ∈ F(c′) must be.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 11 / 34
![Page 22: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/22.jpg)
In the context of open graphs, the following two open graphs would be inthe same isomorphism class:
w
x
↓ f
y
z
w′
x′
y′
z′
{?} {?}
i o
i′ o′
e1
e4e5
e3
e2
e1
e4e5
e3
e2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 12 / 34
![Page 23: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/23.jpg)
But the following two open graphs would not be in the same isomorphismclass:
w
x
↓ f
y
z
w′
x′
y′
z′
{?} {?}
i o
i′ o′
e1
e4e5
e3
e2
e′1
e′4e′5
e′3
e′2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 13 / 34
![Page 24: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/24.jpg)
One remedy to this is to instead use ‘structured cospans’.
Theorem (Baez, C.)Let A be a category with finite coproducts, X a category with finite colimitsand L : A→ X a finite coproduct preserving functor. Then there exists acategory L Csp(X) which has:
• objects as those of A and
• morphisms as isomorphism classes of structured cospans,where a structured cospan is given by a cospan in X of the form:
L(a)
x
L(b)
i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 14 / 34
![Page 25: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/25.jpg)
One remedy to this is to instead use ‘structured cospans’.
Theorem (Baez, C.)Let A be a category with finite coproducts, X a category with finite colimitsand L : A→ X a finite coproduct preserving functor. Then there exists acategory L Csp(X) which has:
• objects as those of A and
• morphisms as isomorphism classes of structured cospans,where a structured cospan is given by a cospan in X of the form:
L(a)
x
L(b)
i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 14 / 34
![Page 26: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/26.jpg)
One remedy to this is to instead use ‘structured cospans’.
Theorem (Baez, C.)Let A be a category with finite coproducts, X a category with finite colimitsand L : A→ X a finite coproduct preserving functor. Then there exists acategory L Csp(X) which has:
• objects as those of A and
• morphisms as isomorphism classes of structured cospans,where a structured cospan is given by a cospan in X of the form:
L(a)
x
L(b)
i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 14 / 34
![Page 27: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/27.jpg)
Theorem (Baez, C. continued)Two structured cospans are in the same isomorphism class if thefollowing diagram commutes:
L(a)
x
y
L(b)α∼
i o
i′ o′
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 15 / 34
![Page 28: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/28.jpg)
Theorem (Baez, C. continued)To compose two morphisms:
L(a1) x L(a2) L(a2) y L(a3)i o i′ o′
we take the pushout in X:
L(a1)
x
L(a2)
y
L(a3)
x + y
x +L(a2) y
i o i′ o′
J J′
ψ
ψJi ψJ′o′
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 16 / 34
![Page 29: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/29.jpg)
In the context of open graphs, we take L : Set→ Graph to be the discretegraph functor which assigns to a set N the edgeless graph with vertex setN.
∅ N
!
!
Both Set and Graph have finite colimits and L is a left adjoint, so we getthe following:
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 17 / 34
![Page 30: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/30.jpg)
In the context of open graphs, we take L : Set→ Graph to be the discretegraph functor which assigns to a set N the edgeless graph with vertex setN.
∅ N
!
!
Both Set and Graph have finite colimits and L is a left adjoint, so we getthe following:
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 17 / 34
![Page 31: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/31.jpg)
CorollaryLet L : Set→ Graph be the discrete graph functor. Then there exists acategory L Csp(Graph) which has:
• sets as objects and
• isomorphism classes of open graphs as morphisms.
Now, two open graphs are in the same isomorphism class if there existsan isomorphism of graphs α : G1 → G2 making the following diagramcommute:
L(N1)
G1
G2
L(N2)α ∼
i o
i′ o′
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 18 / 34
![Page 32: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/32.jpg)
CorollaryLet L : Set→ Graph be the discrete graph functor. Then there exists acategory L Csp(Graph) which has:
• sets as objects and
• isomorphism classes of open graphs as morphisms.
Now, two open graphs are in the same isomorphism class if there existsan isomorphism of graphs α : G1 → G2 making the following diagramcommute:
L(N1)
G1
G2
L(N2)α ∼
i o
i′ o′
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 18 / 34
![Page 33: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/33.jpg)
Here, α : G1 → G2 is an isomorphism of graphs which is a pair ofbijections (f , g) making the following squares commute:
G1
G2
=
=
E
E′
N
N′
α fg ∼∼
s
t
s′
t ′
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 19 / 34
![Page 34: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/34.jpg)
And now, the following two open graphs are in the same isomorphismclass.
w
x
↓ α = (f , g)
y
z
w′
x′
y′
z′
? ?
i o
i′ o′
e1
e4e5
e3
e2
e′1
e′4e′5
e′3
e′2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 20 / 34
![Page 35: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/35.jpg)
What if we don’t want to work with isomorphism classes of structuredcospans but rather actual structured cospans?
You might be thinking that we should then use a bicategory... and we coulddo this.
But instead, we’re going to use a ‘double category’!
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 21 / 34
![Page 36: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/36.jpg)
What if we don’t want to work with isomorphism classes of structuredcospans but rather actual structured cospans?
You might be thinking that we should then use a bicategory...
and we coulddo this.
But instead, we’re going to use a ‘double category’!
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 21 / 34
![Page 37: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/37.jpg)
What if we don’t want to work with isomorphism classes of structuredcospans but rather actual structured cospans?
You might be thinking that we should then use a bicategory... and we coulddo this.
But instead, we’re going to use a ‘double category’!
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 21 / 34
![Page 38: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/38.jpg)
What if we don’t want to work with isomorphism classes of structuredcospans but rather actual structured cospans?
You might be thinking that we should then use a bicategory... and we coulddo this.
But instead, we’re going to use a ‘double category’!
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 21 / 34
![Page 39: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/39.jpg)
A double category has figures like this:
A B
C D
⇓ α
M
f g
N
We have objects, here denoted as A ,B ,C and D.
Vertical 1-morphisms between objects, here denoted as f and g.
Also, horizontal 1-cells between objects, here denoted as M and N,
and morphisms between horizontal 1-cells, called 2-morphisms, heredenoted as α.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 22 / 34
![Page 40: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/40.jpg)
A double category has figures like this:
A B
C D
⇓ α
M
f g
N
We have objects, here denoted as A ,B ,C and D.
Vertical 1-morphisms between objects, here denoted as f and g.
Also, horizontal 1-cells between objects, here denoted as M and N,
and morphisms between horizontal 1-cells, called 2-morphisms, heredenoted as α.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 22 / 34
![Page 41: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/41.jpg)
A double category has figures like this:
A B
C D
⇓ α
M
f g
N
We have objects, here denoted as A ,B ,C and D.
Vertical 1-morphisms between objects, here denoted as f and g.
Also, horizontal 1-cells between objects, here denoted as M and N,
and morphisms between horizontal 1-cells, called 2-morphisms, heredenoted as α.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 22 / 34
![Page 42: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/42.jpg)
A double category has figures like this:
A B
C D
⇓ α
M
f g
N
We have objects, here denoted as A ,B ,C and D.
Vertical 1-morphisms between objects, here denoted as f and g.
Also, horizontal 1-cells between objects, here denoted as M and N,
and morphisms between horizontal 1-cells, called 2-morphisms, heredenoted as α.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 22 / 34
![Page 43: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/43.jpg)
A double category has figures like this:
A B
C D
⇓ α
M
f g
N
We have objects, here denoted as A ,B ,C and D.
Vertical 1-morphisms between objects, here denoted as f and g.
Also, horizontal 1-cells between objects, here denoted as M and N,
and morphisms between horizontal 1-cells, called 2-morphisms, heredenoted as α.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 22 / 34
![Page 44: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/44.jpg)
These 2-morphisms can be composed both vertically and horizontally.
A B
C D
⇓ α
B E
D F
⇓ β
C D
G H
⇓ α′
D F
H I
⇓ β′
M
f g
N
M′
g h
N′
N
f ′ g′
P
N′
g′ h′
P′
(α � β)(α′ � β′) = (αα′) � (ββ′)
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 23 / 34
![Page 45: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/45.jpg)
These 2-morphisms can be composed both vertically and horizontally.
A B
C D
⇓ α
B E
D F
⇓ β
C D
G H
⇓ α′
D F
H I
⇓ β′
M
f g
N
M′
g h
N′
N
f ′ g′
P
N′
g′ h′
P′
(α � β)(α′ � β′) = (αα′) � (ββ′)
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 23 / 34
![Page 46: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/46.jpg)
Theorem (Baez, C.)Let A be a category with finite coproducts, X a category with finite colimitsand L : A→ X a finite coproduct preserving functor.
Then there exists asymmetric monoidal double category LCsp(X) which has:
• objects as those of A,
• vertical 1-morphisms as morphisms of A,
• horizontal 1-cells given by structured cospans which are cospansin X of the form:
L(a)
x
L(a′)
i o
and
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 24 / 34
![Page 47: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/47.jpg)
Theorem (Baez, C.)Let A be a category with finite coproducts, X a category with finite colimitsand L : A→ X a finite coproduct preserving functor. Then there exists asymmetric monoidal double category LCsp(X) which has:
• objects as those of A,
• vertical 1-morphisms as morphisms of A,
• horizontal 1-cells given by structured cospans which are cospansin X of the form:
L(a)
x
L(a′)
i o
and
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 24 / 34
![Page 48: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/48.jpg)
Theorem (Baez, C. continued)2-morphisms as maps of cospans in X given by commutativediagrams of the form:
L(a) x L(a′)
L(b) y L(b ′)
i o
i′ o′
L(f) α L(g)
The horizontal composite of two 2-morphisms:
L(a) x L(b)
L(a′) x′ L(b ′)
L(b) y L(c)
L(b ′) y′ L(c′)
i1
i′1 o′1
o1
L(f) L(g)α
i2 i2
L(g)
i′2 o′2
L(h)β
is given by L(a) x +L(b) y L(c)
L(a′) x′ +L(b′) y′ L(c′).
L(f) L(h)α+L(g) β
Jψi1 Jψo2
Jψi′1 Jψo′2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 25 / 34
![Page 49: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/49.jpg)
Theorem (Baez, C. continued)2-morphisms as maps of cospans in X given by commutativediagrams of the form:
L(a) x L(a′)
L(b) y L(b ′)
i o
i′ o′
L(f) α L(g)
The horizontal composite of two 2-morphisms:
L(a) x L(b)
L(a′) x′ L(b ′)
L(b) y L(c)
L(b ′) y′ L(c′)
i1
i′1 o′1
o1
L(f) L(g)α
i2 i2
L(g)
i′2 o′2
L(h)β
is given by L(a) x +L(b) y L(c)
L(a′) x′ +L(b′) y′ L(c′).
L(f) L(h)α+L(g) β
Jψi1 Jψo2
Jψi′1 Jψo′2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 25 / 34
![Page 50: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/50.jpg)
Theorem (Baez, C. continued)2-morphisms as maps of cospans in X given by commutativediagrams of the form:
L(a) x L(a′)
L(b) y L(b ′)
i o
i′ o′
L(f) α L(g)
The horizontal composite of two 2-morphisms:
L(a) x L(b)
L(a′) x′ L(b ′)
L(b) y L(c)
L(b ′) y′ L(c′)
i1
i′1 o′1
o1
L(f) L(g)α
i2 i2
L(g)
i′2 o′2
L(h)β
is given by L(a) x +L(b) y L(c)
L(a′) x′ +L(b′) y′ L(c′).
L(f) L(h)α+L(g) β
Jψi1 Jψo2
Jψi′1 Jψo′2
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 25 / 34
![Page 51: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/51.jpg)
Theorem (Baez, C. continued)Monoidal structure:
L(a1) L(b1)x1
L(a2) L(b2)x2
L(a′1) L(b ′1)x′1
L(a′2) L(b ′2)x′2
⊗
L(a1 + a′1) L(b1 + b ′1)x1 + x′1
L(a2 + a′2) L(b2 + b ′2)x2 + x′2
=
o1
L(f) L(g)α
i1
i2 o2
o′1
L(f ′) L(g′)α′
i′1
i′2 o′2
(o1 + o′1)φ−1
L(f + f ′) L(g + g′)α+ α′
(i1 + i′1)φ−1
(i2 + i′2)φ−1 (o2 + o′2)φ
−1
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 26 / 34
![Page 52: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/52.jpg)
We could also address the defect with decorated cospans more directly byinstead of using a functor F : A→ Set, using a pseudofunctor F : A→ Cat .
Theorem (Baez, Vasilakopoulou, C.)Given a category A with finite colimits and a symmetric lax monoidalpseudofunctor F : A→ Cat, there exists a symmetric monoidal doublecategory FCsp which has:
• objects as those of A,
• vertical 1-morphisms as morphisms of A,
• horizontal 1-cells as F-decorated cospans, which are again pairs:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 27 / 34
![Page 53: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/53.jpg)
We could also address the defect with decorated cospans more directly byinstead of using a functor F : A→ Set, using a pseudofunctor F : A→ Cat .
Theorem (Baez, Vasilakopoulou, C.)Given a category A with finite colimits and a symmetric lax monoidalpseudofunctor F : A→ Cat, there exists a symmetric monoidal doublecategory FCsp which has:
• objects as those of A,
• vertical 1-morphisms as morphisms of A,
• horizontal 1-cells as F-decorated cospans, which are again pairs:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 27 / 34
![Page 54: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/54.jpg)
We could also address the defect with decorated cospans more directly byinstead of using a functor F : A→ Set, using a pseudofunctor F : A→ Cat .
Theorem (Baez, Vasilakopoulou, C.)Given a category A with finite colimits and a symmetric lax monoidalpseudofunctor F : A→ Cat, there exists a symmetric monoidal doublecategory FCsp which has:
• objects as those of A,
• vertical 1-morphisms as morphisms of A,
• horizontal 1-cells as F-decorated cospans, which are again pairs:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 27 / 34
![Page 55: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/55.jpg)
We could also address the defect with decorated cospans more directly byinstead of using a functor F : A→ Set, using a pseudofunctor F : A→ Cat .
Theorem (Baez, Vasilakopoulou, C.)Given a category A with finite colimits and a symmetric lax monoidalpseudofunctor F : A→ Cat, there exists a symmetric monoidal doublecategory FCsp which has:
• objects as those of A,
• vertical 1-morphisms as morphisms of A,
• horizontal 1-cells as F-decorated cospans, which are again pairs:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 27 / 34
![Page 56: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/56.jpg)
We could also address the defect with decorated cospans more directly byinstead of using a functor F : A→ Set, using a pseudofunctor F : A→ Cat .
Theorem (Baez, Vasilakopoulou, C.)Given a category A with finite colimits and a symmetric lax monoidalpseudofunctor F : A→ Cat, there exists a symmetric monoidal doublecategory FCsp which has:
• objects as those of A,
• vertical 1-morphisms as morphisms of A,
• horizontal 1-cells as F-decorated cospans, which are again pairs:
a
c
b
d ∈ F(c)i o
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 27 / 34
![Page 57: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/57.jpg)
Theorem (Baez, Vasilakopoulou, C. continued)• 2-morphisms given by maps of cospans in A:
a
a′
c
c′
b
b ′
1
F(c)
F(c′)
d
d′
f F(f)
i o
g h
i′ o′
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 28 / 34
![Page 58: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/58.jpg)
Theorem (Baez, Vasilakopoulou, C. continued)2-morphisms given by maps of cospans in A:
a
a′
c
c′
b
b ′
1
F(c)
F(c′)
w ι
d
d′
f F(f)
i o
g h
i′ o′
together with a 2-morphism ι which can be viewed as a morphism
ι : F(f)(d)→ d′
in F(c′).
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 29 / 34
![Page 59: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/59.jpg)
In the context of open graphs:
w
x
↓ (f , ι)
y
z
w′
x′
y′
z′
{?} {?}
i o
i′ o′
e1
e4e5
e3
e2
e′1
e′4e′5
e′3
e′2
the morphism ι : F(f)(d)→ d′ is the map of edges.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 30 / 34
![Page 60: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/60.jpg)
In the context of open graphs:
w
x
↓ (f , ι)
y
z
w′
x′
y′
z′
{?} {?}
i o
i′ o′
e1
e4e5
e3
e2
e′1
e′4e′5
e′3
e′2
the morphism ι : F(f)(d)→ d′ is the map of edges.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 30 / 34
![Page 61: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/61.jpg)
In the context of open graphs:
w
x
↓ (f , ι)
y
z
w′
x′
y′
z′
{?} {?}
i o
i′ o′
e1
e4e5
e3
e2
e′1
e′4e′5
e′3
e′2
the morphism ι : F(f)(d)→ d′ is the map of edges.John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 30 / 34
![Page 62: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/62.jpg)
Christina Vasilakopoulou has recently discovered the conditions underwhich structured cospans and decorated cospans are the same!
Theorem (Baez, Vasilakopoulou, C.)Given a finitely cocomplete category A and a symmetric lax monoidalpseudofunctor F : A→ Cat, if each category F(a) is also finitelycocomplete, then there is an equivalence of symmetric monoidal doublecategories
LCsp(∫ F) ' FCsp.
The functor L used to obtain the structured cospans double category is leftadjoint to the Grothendieck construction of the pseudofunctor F :
R : ∫ F → A.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 31 / 34
![Page 63: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/63.jpg)
Christina Vasilakopoulou has recently discovered the conditions underwhich structured cospans and decorated cospans are the same!
Theorem (Baez, Vasilakopoulou, C.)Given a finitely cocomplete category A and a symmetric lax monoidalpseudofunctor F : A→ Cat, if each category F(a) is also finitelycocomplete, then there is an equivalence of symmetric monoidal doublecategories
LCsp(∫ F) ' FCsp.
The functor L used to obtain the structured cospans double category is leftadjoint to the Grothendieck construction of the pseudofunctor F :
R : ∫ F → A.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 31 / 34
![Page 64: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/64.jpg)
Christina Vasilakopoulou has recently discovered the conditions underwhich structured cospans and decorated cospans are the same!
Theorem (Baez, Vasilakopoulou, C.)Given a finitely cocomplete category A and a symmetric lax monoidalpseudofunctor F : A→ Cat, if each category F(a) is also finitelycocomplete, then there is an equivalence of symmetric monoidal doublecategories
LCsp(∫ F) ' FCsp.
The functor L used to obtain the structured cospans double category is leftadjoint to the Grothendieck construction of the pseudofunctor F :
R : ∫ F → A.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 31 / 34
![Page 65: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/65.jpg)
We’ve used the framework of structured cospans to create syntaxcategories for black box functors.
There exists a left adjoint L : FinSet→ Circ which we can use to obtain asymmetric monoidal category
L Csp(Circ)
of finite sets and open electrical circuits.
w
x
y zinputs outputs4
22
1
1/2
From this, we can obtain a black box functor
� : L Csp(Circ)→ Rel.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 32 / 34
![Page 66: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/66.jpg)
We’ve used the framework of structured cospans to create syntaxcategories for black box functors.
There exists a left adjoint L : FinSet→ Circ which we can use to obtain asymmetric monoidal category
L Csp(Circ)
of finite sets and open electrical circuits.
w
x
y zinputs outputs4
22
1
1/2
From this, we can obtain a black box functor
� : L Csp(Circ)→ Rel.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 32 / 34
![Page 67: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/67.jpg)
We’ve used the framework of structured cospans to create syntaxcategories for black box functors.
There exists a left adjoint L : FinSet→ Circ which we can use to obtain asymmetric monoidal category
L Csp(Circ)
of finite sets and open electrical circuits.
w
x
y zinputs outputs4
22
1
1/2
From this, we can obtain a black box functor
� : L Csp(Circ)→ Rel.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 32 / 34
![Page 68: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/68.jpg)
We’ve used the framework of structured cospans to create syntaxcategories for black box functors.
There exists a left adjoint L : FinSet→ Circ which we can use to obtain asymmetric monoidal category
L Csp(Circ)
of finite sets and open electrical circuits.
w
x
y zinputs outputs4
22
1
1/2
From this, we can obtain a black box functor
� : L Csp(Circ)→ Rel.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 32 / 34
![Page 69: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/69.jpg)
And likewise for open Petri nets.
H
O
α H2O
1
2
3
a b
4
L : Set→ Petri
� : L Csp(Petri)→ Rel.
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 33 / 34
![Page 70: John Baez and Kenny Courser - University of …An open network is a network with prescribed inputs and outputs. w x inputs y z outputs 4 2 2 1 1=2 H O H2O 1 2 3 a b 4 John Baez and](https://reader033.vdocuments.us/reader033/viewer/2022041920/5e6b6d0c102987647a37f2ac/html5/thumbnails/70.jpg)
For more, see my thesis on Dr. Baez’s website:
https://tinyurl.com/courser-thesis
John Baez and Kenny Courser (University of California, Riverside)Structured cospans May 22, 2019 34 / 34