[FRIAM] PM-2017-MethodologicalBehaviorismCausalChainsandCausalForks(1).pdf

[uǝlƃ ↙↙↙]

OK. So this is where things like identity, terminal, zero, introduction, elimination, etc. flesh out the symmetry. Ugh. It just feels like a hack. But maybe I'm not thinking clearly. I'll stop now.

On 2/10/21 2:08 PM, Marcus Daniels wrote:
> If you have a non-reaction, then I think you'd switch to a non-unique type or you'd explicitly duplicate.  Return (x,x) instead of x and then destructure the former.

-- 
↙↙↙ uǝlƃ