Yuhang Wei · Transfer report

Trusses: interactive examples

Interactive versions of examples from the report, with their saved inputs.

A torus from zero tangles

Static view of the torus

The birth, the saddle slabs, the death and their successive gluings.

Open the example · Saved recipe

A genus-one surface

Static frame of the genus-one movie

Three saddles and two cusps, with two variants. The cusps occur at successive heights here, and at one height in the report's figure.

Open the example · Saved data

Nine (3,4)-singularities

A movie slice of a saved four-dimensional singularity

The nine singularities, in the order of MDTT Figure 3.30.

Open the example · First input

Cap–birth–saddle comparison

A frame of the cap–birth–saddle construction

The four surface movies A, M1, M2 and B, and the 4-truss comparing them over a non-product base.

Open the example · Saved data

A tangle that is not boundary-globular

A slice of the saved tangle

Two cups exchanging heights as t passes 0, constant in a further direction u.

Open the example · Saved data

Lean formalisation of normalisation

Source, build instructions and theorem guide.