Our syntax does not let us specify diagrams of the following form:
Given f : O -> A + B, f C : O -> AC + BC.
At the moment it is only possible to draw this by adding an explicit node on the whiskering node.
We could either decide on a new syntax or add an option in node settings to treat them as whiskering nodes.
Our syntax does not let us specify diagrams of the following form: Given
f : O -> A + B
,f C : O -> AC + BC
. At the moment it is only possible to draw this by adding an explicit node on the whiskering node. We could either decide on a new syntax or add an option in node settings to treat them as whiskering nodes.