homotopy-rs
homotopy-rs copied to clipboard
homotopy-io
A Rust/WASM implementation of homotopy.io
[Cap Lemma.hom.zip](https://github.com/homotopy-io/homotopy-rs/files/14421124/Cap.Lemma.hom.zip) It feels like the cell in the workspace above should contract down to the identity. All it does is pull one of the caps above the other, then...
[homotopy_io_state.zip](https://github.com/homotopy-io/homotopy-rs/files/14373693/homotopy_io_state.zip)
[commutative_monoid_homotopy_io_state.zip](https://github.com/homotopy-io/homotopy-rs/files/14127095/commutative_monoid_homotopy_io_state.zip) For some reason, a random hole appears straight through this surface when trying to animate the homotopy in the 4D renderer. This hole only appears for a short time...
The 0-cell is white, but when it appears in a 3-diagram it is way too dark: 
I tried to add a generator and it's inverse to the middle of a diagram, I don't know if this is allowed [homotopy_io_state.zip](https://github.com/homotopy-io/homotopy-rs/files/13795204/homotopy_io_state.zip)
Had some more crashes while making butterfly catastrophe, commutativity of frobenius algebra induced by oriented duality, and torus eversion: [butterfly_actions.txt](https://github.com/homotopy-io/homotopy-rs/files/13731007/butterfly_actions.txt) [commutative frobenius actions.txt](https://github.com/homotopy-io/homotopy-rs/files/13733908/commutative.frobenius.actions.txt) [torus eversion.zip](https://github.com/homotopy-io/homotopy-rs/files/13760354/torus.eversion.zip)
Hello, I just learned about this project and Globular. It's really exciting to see a proof assistant for HoTT! It would be valuable to see some example proofs for those...
Here is a file where I attempt the sphere eversion, utalizing the features of invertible cells. At the last step, I could not contract (or resolve) the inner 2-sphere in...
In a situation like this:  I find it very hard to figure out how to manipulate the wires to get the vertex to move up or down. The situation...
it would be useful to have the ability to make a duplicate of a folder and all contained cells.
