search

NickHu / homotopy-io

Rewritten homotopy-core
3 stars 2 forks source link

Implement diagram expansion #4

Open NickHu opened 4 years ago

NickHu commented 4 years ago

The dual to contraction - when you make a move like the following:

| |        | |
o o   ->   o |
| |        | o
           | |

This procedure is not natural and involves making arbitrary choices

jamievicary commented 4 years ago

In the previous version this can be found here: https://github.com/homotopy-io/homotopy-core/blob/6683058532155e3d270c4d758c8d6d1fd67df66b/src/limit.js#L278