I would love for Urs to go rogue at some point and give a lecture on pure philosophy, Hegel's science of logic as proto-category theory, rationalism, constructivism and all that. It's clearly a major motivator to his work, but one has to read between the lines. Please bestow your esoteric knowledge to the masses!

Something I've wondered is practically how to think of these generalized spaces e.g. of differential forms as some kind of concrete colimit in the generating site. I know this is done for ordinary classifying spaces, and we have results like in Milnor's characteristic classes book that for large enough dimensions, one of the finite dimensional Grassmannians is enough to classify your vector bundles for any given vector bundle. Then I would try to understand the classifying stacks of connections this way, if I could. I wonder if it would yield numerical algorithms for field theory too.