M Theory Revision
The emphasis on renormalisation is a mistake. This picture still works in a Minkowski background QFT, the idea being that the Standard Model in its rigorous guise will not be much altered. But we have seen that a twistor correspondence must be implemented, for it is only in this setting that the physical logic has a chance of being written in a topos like language. The twistor point of view changes our use of operads. The need for higher dimensional structures becomes even more apparent as we match the 1-operad associahedra to mere real moduli.