Calin Tataru

> > Any invertible monoid gives rise to a Frobenius-like structure (monoid needs to be oriented, wire may be framed): > >   > > In what sense is...

Here is another interesting one... Given an oriented 2-cell on a (framed) invertible 1-cell, its trace contracts to a scalar version of the 2-cell.  

This is related to #523. I think it is a good idea, we should be able to duplicate folders as well as individual generators.

Related to #534

I've often been frustrated by the way undo works. I think this is a very good suggestion.

Hmm, that's an interesting suggestion, I will think about it.

I am reopening this because I had to revert the change due to an unforeseen problem. I will re-implement it as well as your other suggestion about undo/redo not changing...

I have abandoned the proposal in #837 and I think we need to store the view state in the history for things to work correctly. However, there are other ways...

> I see that this is fixed now, which is great! What would be even better would be if Undo and Redo didn't change the current view, so I could...

But that's already the case... What Manuel wanted is that if you have done a contraction and are looking inside a slice, pressing undo should undo the contraction while leaving...