ParentFull threadm_j_g·more homotopy than topology, but still may be interesitng to you:https://staff.math.su.se/anders.mortberg/papers/cubicalsynth...View on HN