search

jamievicary / globular

Globular
37 stars 9 forks source link

Feature: Access flipped versions of generators #4

Open jamievicary opened 8 years ago

jamievicary commented 8 years ago

The inverse of a generator is given by flipping its source and target. We could call this the "0-inverse". But there are other useful ways to transform cells. For example, the "1-inverse" of G has as source, the inverse of the source of G, and as target, the inverse of the target of G. It would add significant expressive power if Globular could access these higher types of inverse.

cdgls commented 8 years ago

I'm not sure if this should be a separate feature request or part of this request, but of course it would be good if there were a mechanism for flipping not just generators, but any cell at all, which involves flipping the composites that occurs as the source and target.