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.