Ramana Kumar comments on Additive and Multiplicative Subagents

[Ramana Kumar]

I’m not sure why you started using the equivalence symbol on morphisms, e.g.,

$\varphi \cong {\varphi }_1\circ {\varphi }_0$

in the categorical definition of multiplicative subagent.

I think equality ($=$) is the correct concept to be using here instead, as in the categorical definition of (original) subagent.

[Scott Garrabrant]

I agree that equality is correct. I corrected some instances of $\cong$, but I might have missed some