search

jamievicary / globular

Globular
37 stars 9 forks source link

Move all cells up a dimension #69

Open RamonAbudAlcala opened 8 years ago

RamonAbudAlcala commented 8 years ago

Move all cells up a dimension by adding a unique 0-cell, that will be the source and target of all the previous 0-cells.

This is good if, for example one is working in a monoidal category and suddenly needs a brading, or a symmetry.

jamievicary commented 8 years ago

I agree this would be super useful!

More generally: it would be interesting to work in a 'stable' setting, meaning lift it up 'infinitely high' in some sense.

On Wed, Aug 3, 2016 at 9:33 PM, RamonAbudAlcala notifications@github.com wrote:

Move all cells up a dimension by adding a unique 0-cell, that will be the source and target of all the previous 0-cells.

This is good if, for example one is working in a monoidal category and suddenly needs a brading, or a symmetry.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/jamievicary/globular/issues/69, or mute the thread https://github.com/notifications/unsubscribe-auth/AKHHHlyV3s9Xt6mFAbTa-PHpoHtgXPp5ks5qcPsmgaJpZM4JcEO4 .