Taking a slight break from doing combinatorics on homotopy structures to doing homotopy on combinatorial structures.

Comments