Christopher Douglas
Christopher Douglas
The interchanger at the moment does not satisfy the snake equation, but life would be better if it did. We are actually encountering this as an obstruction to simplifying diagrams...
I know we've discussed this before, but yesterday Andre and I were attempting to make some headway on one of our globular projects, and it prompts us to raise it...
As you may know, the yellow indicator box still sometimes appears in the wrong spot. See the attached screenshot for an example, where the application of a snakerator appears too...
When making a change in a unprojected view (ie not the highest projection), the displayed picture is not incrementing to the result of the change you made, so it looks...
A cell in your n-category may have a particular meaning that is best represented by a particular picture, which may be different than or indeed explicitly contradict the default picture...
At the moment, clicking undo effectively reloads the entire project, in its previous state. For a large project this can take several minutes, and makes experimenting extremely slow and time-dangerous,...
At the moment, I'm only able to undo once --- when I click undo a second time, no change happens.
Typically, coding interfaces have an option to flag (in text usually underline or highlight) unused variables. It would be useful to have an option to flag (say highlight the cell...