jamievicary
commented
8 years ago 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', and the final tangent and its 'speed'. At the moment, the initial and final tangents and speeds are hard-coded. But there's no reason in principle we couldn't allow these to be independently specified. It wouldn't be too hard to update the Bezier intersection calculations (used to detect when you're mousing over an interchanger) to take account of this.
cdgls
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 globular choses. Thus it would be nice if there were some control over these pictures.
For example, in the sphere eversion, the 3-cells called "cusp" correspond geometrically to an actual cusp
/\
where the incoming lines are vertically tangent, whereas say the "cup" 3-cells correspond geometrically to
|_|
where the incoming lines come together smoothly, ie they are horizontally tangent.
At present, globular displays both types of cells with the same picture, because of course it doesn't know what they represent.
In theory, one could for instance specify the angle at which a line should come into the central node. Or one could actually provide a little graphic that globular would display at that spot as a visual reminder of the meaning of that cell (which would allow for situations where this reminder itself isn't geometrically based).
I realize that the 'angle' suggestion would wreck havoc with the current bezier display calculations.
I think this feature is a low priority, but worth having a record of it to consider as other aspects of the graphics engine are revamped (eg during the 3d development).