(no subject)
Feb. 20th, 2022 08:10 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsBefore I forget,
s: P -> D;
t: P -> D;
j: P -> D;
a1: P -> C;
a2; D -> C.
F: C -> Ω (quantity type functor).
C can be thought of as J2BD.
In a simplest case, P = D; therefore, the model collapses to P -> C and becomes a choice problem wrt f: X -> P, wherein X -> C and P -> C are given.
s: P -> D;
t: P -> D;
j: P -> D;
a1: P -> C;
a2; D -> C.
F: C -> Ω (quantity type functor).
C can be thought of as J2BD.
In a simplest case, P = D; therefore, the model collapses to P -> C and becomes a choice problem wrt f: X -> P, wherein X -> C and P -> C are given.
