jamievicary

Hi, ok, this makes a lot of sense! On 4 Jan 2017 18:46, "turion" wrote: > Right now, if I delete a low-dimensional cell and there is another higher >...

This is an interesting idea, which Dominic and I discussed at some length. I see where this is coming from: when building big proofs, especially in a 4-category, the vast...

The way that the 'undo' feature works is the following: every time you change something, the entire state of the project is backed up in the browser's history. So over...

A compromise, as you say, would be to only do this 'intelligent' undo operation for a certain subclass of operations (like rewriting or attaching to a diagram), and fall back...

Yes, this is more or less what I was thinking. It's a neat idea to do it with callbacks, and to support 'redo' as well as 'undo'.

I just realized a potential problem with this. Suppose each time the state changes from S to S', we encode a minimal bit of information about how to modify S'...

This is great! Of course before this can be practical we need LaTeX output for graphics. On Tue, May 3, 2016 at 7:33 PM, cdgls [email protected] wrote: > I think...

This is a really cool idea. The curved lines are all cubic Beziers, which are defined by specifying the start point, the end point, the initial tangent and its 'speed',...

So clearly there is a need for the wires leaving vertices to sometimes have horizontal tangents, and sometimes vertical tangents. Is there ever a need (from the perspective of topology)...

Interesting! I'll see if I can get a project student to solve the equations for the general case. On Sun, Jan 31, 2016 at 4:16 AM, cdgls [email protected] wrote: >...